~ tracking down this book ~
Logic Programming '87 by Kōichi Furukawa — OmList