Checking Admissibility Using Natural Dualities

Leonardo Manuel Cabrer, Benjamin Freisberg, George Metcalfe, Hilary A. Priestley. Checking Admissibility Using Natural Dualities. ACM Trans. Comput. Log., 20(1), 2019. [doi]

Abstract

Abstract is missing.