Multi-configurable Search Rules in Prolog and Application to Testing.

Daniela Ferreiro, Jos F. Morales, Pedro Lpez-Garca, Manuel V. Hermenegildo

Browse the full PADL paper archive.