Formal apparatus for knowledge representation based on post production systems
scientific article; zbMATH DE number 948719