Journal article
PW Dart, J Zobel
The Journal of Logic Programming | Published : 1992
DOI: 10.1016/0743-1066(92)90046-6