Embedding Boolean expressions into logic programming (1987)

by Wolfram Buttner, Helmut Simonis
Venue:Journal of Symbolic Computation