The list of my publications

conference papers

Unification in the Description Logic EL is of Type Zero, with Franz Baader. The International Workshop for Unification (UNIF), 2008.
Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories, with Christopher Lynch. Proceedings of 16th International Conference on Rewriting Techniques and Applications (RTA), Lecture Notes in Computer Science, Volume 3467, pp.90-104, 2005.
Completeness of E-Unification with Eager Variable Elimination. Proceedings of 10th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Lecture Notes in Computer Science, Volume 2950, pp.198-212, 2003.
Automatic Decidability, with Christopher Lynch. Proceedings of IEEE Symposium on Logic in Computer Science (LICS), 2002.
Basic Syntactic Mutation, with Christopher Lynch. Proceedings of Conference on Automated Deduction (CADE), Lecture Notes in Computer Science, 2002.
Approximating E-unification, with Christopher Lynch. 15th Annual Workshop on Unification Theory (UNIF), Siena, Italy, 2001.
Complexity of Linear Standard Theories, with Christopher Lynch. Proceedings of 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Lecture Notes in Computer Science, Volume 2250, pp. 188-200, 2001.
Decidability and Complexity of Finitely Closable Linear Equational Theories, with Christopher Lynch. Proceedings of 1st International Joint Conference on Automated Reasoning (IJCAR), Lecture Notes in Computer Science, Volume 2083, pp. 495-513, 2001.
Goal Directed E-Unification, with Christopher Lynch. Proceedings of 12th International Conference on Rewriting Techniques and Applications (RTA), Lecture Notes in Computer Science, Volume 2051, pp. 231-245, 2001.
Theory of Consequence for the relevant logic R. (in Polish) In Logika, ed. J. Hawranek, University of Wroclaw, 1999.

Relevance as formal condition of correctness of reasoning. (in Polish) In Logiczne Podstawy Rozumowan, ed. W. Kustrzeba. University of Gdansk, 1995.

 

journal papers

General E-unification with Eager Variable Elimination and a Nice Cycle Rule. Journal of Automated Reasoning, Volume 39(1), pp. 77-106, 2007.

technical reports

A Nice Cycle Rule for Goal-Directed E-Unification. LTCS-Report 04-01, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, Germany, 2004.
Completeness of E-unification with eager Variable Elimination. LTCS-Report 03-03, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, Germany, 2003.