Ueda, Kazunori "Guarded Horn Clauses" Technical Report TR-103 CC Systems Research Laboratories, NEC Corporation June 1985

Languages mentioned

• GHC {1985}