Ueda, Kazunori "Guarded Horn Clauses" Logic Programming '85, Proceedings of the 4th Conference

Languages mentioned

• GHC {1985}