Oriented Equational Logic Programming is Complete (1996)

Cached

Download Links

by Christopher Lynch
Venue:JOURNAL OF SYMBOLIC COMPUTATION
Citations:7 - 0 self