Unifiability and Admissibility in Finite Algebras. - George Metcalfe; Christoph Röthlisberger (CiE, 2012)

Admissibility in De Morgan algebras. - George Metcalfe; Christoph Röthlisberger (Soft Comput., 2012)

TAFA - A Tool for Admissibility in Finite Algebras. - Christoph Röthlisberger (TABLEAUX, 2013)

Admissibility in Finitely Generated Quasivarieties - George Metcalfe; Christoph Röthlisberger (Log. Methods Comput. Sci., 2013)