Henryk Jan Komorowski Jan Maluszynski Logic Programming and Rapid Prototyping. 179-205 1987 9 Sci. Comput. Program. 2 db/journals/scp/scp9.html#KomorowskiM87