Flora: Implementing an Efficient DOOD System Using a Tabling Logic Engine (2000)

Cached

Download Links

by Guizhen Yang , Michael Kifer
Venue:In International Conference on Computational Logic, volume 1861 of LNCS
Citations:9 - 1 self