Title: All About Maude - A High-Performance Logical Framework
Subjects: Artificial intelligence, Computer science, Software engineering, Human information processing, Logic, Computer logic, Rewriting systems (Computer science)