The Term Processor Generator

Peter van Eijk, Axel Belinfante, Henk Eertink, Henk Alblas

Browse the full TACAS paper archive.