Reihe Trends in LogicEwa Orlowska × Dual Tableaux: Foundations, Methodology, Case Studies Ewa OrlowskaSpringer NetherlandSoftcover2013 Dual Tableaux: Foundations, Methodology, Case Studies Ewa OrlowskaSpringer NetherlandeBook2012 Dual Tableaux: Foundations, Methodology, Case Studies Ewa OrlowskaSpringer NetherlandHardcover2010