"Writing Programs as QJ Proof and Compiling into Prolog Programs."

Yukihide Takayama (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics