K. Ueda, "Guarded Horn Clauses," Doctor of Engineering Thesis, University of Tokyo, Tokyo, (March 1986)
(1986)
Languages mentioned
GHC
{1985}