Martin Hofmann 0006 Anne Usha Souri Das Kazuhiko Kawamura Atsushi Kara Ravi Rastogi Module: A Modular Programming Environment in Prolog. 73-80 1987 ISMIS db/conf/ismis/ismis87.html#HofmannUDKKR87