L. O. Hertzberger
Univ. of Amsterdam, Amsterdam, The Netherlands
Graphical interface for logic programming
ACM SIGART Bulletin