An Intelligent LOTOS interpreter in AMLOG.

Published in: ICLP Workshop: Applications of Logic Programming to Software Engineering (1994)