BH-CIFOL: case-intensional first order logic. II: Branching histories
scientific article; zbMATH DE number 6381551