Institutions for logic programming
scientific article; zbMATH DE number 1178199
scientific article