Case-Free Programs: An Abstraction of Definite Horn Programs.

Toshiro Wakayama T. H. Payne Case-Free Programs: An Abstraction of Definite Horn Programs. 87-101 1990 conf/cade/1990 CADE db/conf/cade/cade90.html#WakayamaP90 http://dx.doi.org/10.1007/3-540-52885-7_81