Published in: Lecture notes in computer science ; 2796

Published in: Lecture notes in computer science ; 2796

Published in: Italian Workshop on Planning and Scheduling (9. : 2021 : Online): IPS-RCRA 2021: 9th Italian Workshop on Planning and Scheduling and 28th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion ; 2021

Published in: Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis (2. : 2020 : Online): 2nd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis, September 25, 2020 ; (2020), Seite 53-58

Published in: Journal of Automated Reasoning, 64 (2020) 1, Seite 135-165

Published in: Journal of Automated Reasoning, 55 (2015) 2, Seite 185-185

Published in: Journal of Automated Reasoning, 53 (2014) 3, Seite 305-315

Published in: Lecture Notes in Computer Science (2013), Seite 76-90

Published in: Lecture Notes in Computer Science (2009), Seite 167-172

Published in: Journal of Automated Reasoning, 51 (2013) 2, Seite 197-239

Published in: Lecture Notes in Computer Science (2011), Seite 104-118

Published in: Journal of Applied Non-Classical Logics, 20 (2010) 1-2, Seite 39-61

Published in: Lecture Notes in Computer Science (2010), Seite 255-262

Published in: Lecture Notes in Computer Science (2002), Seite 70-84

Published in: Studia Logica: An International Journal for Symbolic Logic, 69 (2001) 1, Seite 97-131

Published in: Lecture Notes in Computer Science (2001), Seite 137-151

Published in: Lecture Notes in Computer Science (2000), Seite 175-189

Published in: Lecture Notes in Computer Science (1998), Seite 124-140

Published in: Lecture Notes in Computer Science (1997), Seite 138-152