Dual tableau-based decision procedures for fragments of the logic of binary relations
scientific article; zbMATH DE number 7908126
scientific article