Banca virtuale. - Lucia Landi (2002)

Model Completeness and Π2-rules: The Case of Contact Algebras. - Nick Bezhanishvili; Silvio Ghilardi; Lucia Landi (AiML, 2020)

Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras. - Nick Bezhanishvili; Luca Carai; Silvio Ghilardi; Lucia Landi (Ann. Pure Appl. Log., 2023)