Skip to content

A New Proof of Tractability for ORD-Horn Relations.

Gerard Ligozat

VenueA*AAAI
Year1996
ProceedingsAAAI/IAAI, Vol. 1

Browse the full AAAI paper archive.