KOASAS

원유선; 서미경; 박성민

이성주; 공태식; 조현성; 이보원

한현기; 조규형; et al, 한국과학기술원, 2017

이행기; 이경철; 김충열; 권혁봉, 2010-04-22

이행기; 하성국, 2015-08-19

홍순형; 정용진; 이경호; 모찬빈, 2011-06-22

홍순형; 정용진; 이경호; 모찬빈, 2011-07-01

원유호; 장호성; 전덕영, 2010-02-24

강신영; Kang, Sinyoung; et al, 한국과학기술원, 2016

최근하, 로봇학회 논문지, v.9, no.3, pp.147 - 153, ACCEPT

김도형; 이수현; 최광무, 정보과학회논문지(B), v.23, no.12, pp.1320 - 1335, 1996-12

김도형; 최광무, 정보과학회논문지(B), v.23, no.3, pp.233 - 244, 1996-03

황성훈; 최광무, 한국정보과학회 1987년 가을 학술발표대회, pp.593 - 596, 한국정보과학회, 1987

우진형; Woo, Jin-Hyung; et al, 한국과학기술원, 1989

황성훈; Whang, Seong-Hoon; et al, 한국과학기술원, 1988

박승욱; Park, Seong-Wook; et al, 한국과학기술원, 1991

박우석, 한국논리학회 춘계 발표회, 한국논리학회, 1996

고인영; 구형민, 정보과학회논문지 : 소프트웨어 및 응용, v.34, no.8, pp.731 - 742, 2007-08

박우석, 논리연구, v.2, no.1, pp.7 - 33, 1998-12

은성배; 정태충; 맹승렬; 조정완, 정보과학회논문지, v.14, no.3, pp.203 - 214, 1987-08