Experiences with the RAP System - A Specification Interpreter Combining Term Rewriting and Resolution.

Alfons Geser, Heinrich Humann

Browse the full ESOP paper archive.