| Publication | Date of Publication | Type |
|---|
| MCP: capturing big data by satisfiability (tool description) | 2022-03-22 | Paper |
Primal grammars and unification modulo a binary clause
Automated Deduction — CADE-12 | 2020-01-21 | Paper |
Minimal distance of propositional models
Theory of Computing Systems | 2019-09-05 | Paper |
MUltlog 1.0: towards an expert system for many-valued logics
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
The next whisky bar
Computer Science – Theory and Applications | 2016-07-25 | Paper |
As Close as It Gets
WALCOM: Algorithms and Computation | 2016-05-03 | Paper |
Give me another one!
Algorithms and Computation | 2016-01-11 | Paper |
Manipulating tree tuple languages by transforming logic programs
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
The Helly property and satisfiability of Boolean formulas defined on set families
European Journal of Combinatorics | 2010-04-27 | Paper |
Efficient Algorithms for Description Problems over Finite Totally Ordered Domains
SIAM Journal on Computing | 2009-06-22 | Paper |
A comparison of tools for teaching formal software verification
Formal Aspects of Computing | 2009-05-27 | Paper |
Rewriting Techniques and Applications
Lecture Notes in Computer Science | 2009-04-30 | Paper |
Complexity of clausal constraints over chains
Theory of Computing Systems | 2008-04-03 | Paper |
| Basic rewriting via logic programming, with an application to the reachability problem | 2008-03-06 | Paper |
Automated Reasoning
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Tree tuple languages from the logic programming point of view
Journal of Automated Reasoning | 2007-05-03 | Paper |
| scientific article; zbMATH DE number 2079021 (Why is no real title available?) | 2004-07-21 | Paper |
Optimal axiomatizations of finitely valued logics
Information and Computation | 2003-01-14 | Paper |
| Automated deduction for many-valued logics | 2002-09-05 | Paper |
Labeled calculi and finite-valued logics
Studia Logica | 2001-06-25 | Paper |
| scientific article; zbMATH DE number 1324446 (Why is no real title available?) | 1999-08-16 | Paper |
A non-ground realization of the stable and well-founded semantics
Theoretical Computer Science | 1997-02-27 | Paper |
| scientific article; zbMATH DE number 910747 (Why is no real title available?) | 1996-08-29 | Paper |
| scientific article; zbMATH DE number 516992 (Why is no real title available?) | 1994-08-21 | Paper |
| scientific article; zbMATH DE number 19145 (Why is no real title available?) | 1992-06-26 | Paper |
