A theory of observables for logic programs
scientific article; zbMATH DE number 1853191