Efficient lazy evaluation of rule-based programs (0)

by P Van Weert
Venue:IEEE Transactions on Knowledge and Data Engineering