Formalizing a Seligman-style tableau system for hybrid logic (short paper)
scientific article; zbMATH DE number 7614529