Dual Tableaux: Foundations, Methodology, Case Studies Ewa Orlowska, Joanna Golinska Pilarek E-Book (pdf)

Ewa Orlowska on Relational Methods in Logic and Computer Science E-Book (pdf)

Incomplete Information: Structure, Inference, Complexity Stephane P. Demri, Ewa Orlowska E-Book (pdf)