논리 검증법을 이용한 보일러 운전 절차의 안전성 검색
고세준, 문일, "논리 검증법을 이용한 보일러 운전 절차의 안전성 검색", 화학 공학의 이론과 응용, 제2권, 제2호, pp.3095-3098, 1996.10.