Journal article

Well-founded ordered search: Goal-directed bottom-up evaluation of well-founded models

PJ Stuckey, S Sudarshan

The Journal of Logic and Algebraic Programming | Published : 1997

DOI: 10.1016/S0743-1066(96)00110-0

Citation metrics

4Scopus
3Dimensions