simulating nonclassical means of reasoning
relation algebras augmented with a fork operator
scientific article; zbMATH DE number 1036757