Schema-Based Transfomations of Logic Programs.

Norbert E. Fuchs, Markus P. J. Fromherz

Browse the full LOPSTR paper archive.