Completeness for ancestral logic via a computationally-meaningful semantics
scientific article; zbMATH DE number 6833560
scientific article