Non-discriminating arguments and their uses (2009)

by H Christiansen, J P Gallagher
Venue:In International Conference on Logic Programming. LNCS