Kazunori Ueda: Guarded Horn Clauses. LP 1985: 168-179