John N. Crossley Pierre Lim Peter J. Stuckey Interface Logic Programming. 1989 21 Australian Computer Journal 2 db/journals/acj/acj21.html#CrossleyLS89 49-55