@incollection{NguSza:2013:546392,
    author = {Linh Anh Nguyen and Andrzej Szalas},
    title = {{Logic-Based Roughification}},
    year = {2013},
    booktitle = {Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam (vol. I)},
    pages = {517--543},
    editor = {A. Skowron and Z. Suraj},
    series = {Intelligent Systems Reference Library},
    volume = {42},
    publisher = {Springer Berlin/Heidelberg},
    isbn = {978-3-642-30343-2},
    issn = {1868-4394},
    doi = {10.1007/978-3-642-30344-9\_19},
}

@incollection{DunSza:2013:546390,
    author = {Barbara Dunin-Keplicz and Andrzej Szalas},
    title = {{Distributed Paraconsistent Belief Fusion}},
    year = {2013},
    booktitle = {Intelligent Distributed Computing VI: Proceedings of the 6th International Symposium on Intelligent Distributed Computing - IDC 2012, Calabria, Italy, September 2012},
    pages = {59--69},
    editor = {Giancarlo Fortino  and Costin Badica  and Michele Malgeri and Rainer Unland},
    series = {Studies in Computational Intelligence},
    volume = {446},
    publisher = {Springer Berlin/Heidelberg},
    isbn = {978-3-642-32523-6},
    issn = {1860-949X},
    doi = {10.1007/978-3-642-32524-3\_9},
}

@inproceedings{QuaThiEtAl:2012:548028,
    author = {Ha Quang-Thuy and Hoang Thi-Lan-Giao and Linh Anh Nguyen and Hung Son Nguyen and Andrzej Szalas and Tran Thanh-Luong},
    title = {{Concept Learning for Description Logic-based Information Systems}},
    year = {2012},
    booktitle = {KSE 2012 - International Conference on Knowledge and Systems Engineering},
    pages = {65--73},
    publisher = {IEEE Computer Society},
    doi = {10.1109/KSE.2012.23},
}

@inproceedings{QuaThiEtAl:2012:548019,
    author = {Ha Quang-Thuy and Hoang Thi-Lan-Giao and Linh Anh Nguyen and Nguyen Hung-Son and Andrzej Szalas and Tran Thanh-Luong},
    title = {{A Bisimulation-based Method of Concept Learning for Knowledge Bases in Description Logics}},
    year = {2012},
    booktitle = {SoICT 2012 - 3rd International Symposium on Information and Communication Technology},
    pages = {241--249},
    publisher = {ACM Press},
    doi = {10.1145/2350716.2350753},
}

@incollection{DunSza:2012:546388,
    author = {Barbara Dunin-Keplicz and Andrzej Szalas},
    title = {{Epistemic Profiles and Belief Structures}},
    year = {2012},
    booktitle = {Agent and Multi-Agent Systems. Technologies and Applications: 6th KES International Conference, KES-AMSTA 2012, Dubrovnik, Croatia, June 25-27, 2012. Proceedings},
    pages = {360--369},
    editor = {Gordan Jezic  and Mario Kusek  and Ngoc-Thanh Nguyen  and Robert J. Howlett and Lakhmi C. Jain},
    series = {Lecture Notes in Computer Science},
    volume = {7327},
    publisher = {Springer Berlin/Heidelberg},
    isbn = {978-3-642-30946-5, e- 978-3-642-30947-2},
    issn = {0302-9743 (print), 1611-3349 (online)},
    doi = {10.1007/978-3-642-30947-2\_40},
}

@incollection{NguSza:2012:546383,
    author = {Linh Anh Nguyen and Andrzej Szalas},
    title = {{Paraconsistent Reasoning for Semantic Web Agents}},
    year = {2012},
    booktitle = {Transactions on Compuational Collective Intelligence VI},
    pages = {36--55},
    editor = {Ngoc Thanh Nguyen},
    series = {Lecture Notes in Computer Science},
    volume = {7190},
    publisher = {Springer Berlin/Heidelberg},
    isbn = {978-3-642-29355-9, e-978-3-642-29356-6},
    issn = {0302-9743 (print), 1611-3349 (online)},
    doi = {10.1007/978-3-642-29356-6\_2},
}

@incollection{DunSza:2012:499783,
    author = {Barbara Dunin-Keplicz and Andrzej Szalas},
    title = {{Agents in Approximate Environments}},
    year = {2012},
    booktitle = {Games, Actions and Social Software: Multidisciplinary Aspects},
    pages = {141--163},
    editor = {Jan Ejick and Rineke Verbrugge},
    series = {Lecture Notes in Computer Science},
    volume = {7010},
    publisher = {Springer},
    isbn = {978-3-642-29325-2 (print), 978-3-642-29326-9 (online)},
    issn = {0302-9743 (print), 1611-3349 (online)},
    doi = {10.1007/978-3-642-29326-9\_8},
}

@inproceedings{DohKvaSza:2012:489882,
    author = {Patrick Doherty and Jonas Kvarnstr\"om and Andrzej Szalas},
    title = {{Temporal Composite Actions with Constraints}},
    year = {2012},
    booktitle = {Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning ({KR})},
    pages = {478--488},
    publisher = {AAAI Press},
    isbn = {978-1-57735-560-1, 978-1-57735-561-8},
}

@inproceedings{MalSza:2011:461581,
    author = {Jan Maluszynski and Andrzej Szalas},
    title = {{Living with Inconsistency and Taming Nonmonotonicity}},
    year = {2011},
    booktitle = {Datalog Reloaded},
    pages = {334--398},
    editor = {O. de Moor and G. Gottlob and T. Furche and A. Sellers},
    series = {Lecture Notes in Computer Science},
    volume = {6702},
    publisher = {Springer Berlin/Heidelberg},
    isbn = {978-3-642-24205-2},
    issn = {0302-9743},
    doi = {10.1007/978-3-642-24206-9\_22},
}

@inproceedings{CaoNguSza:2011:461571,
    author = {Son Thanh Cao and Linh Anh Nguyen and Andrzej Szalas},
    title = {{WORL: A Web Ontology Rule Language}},
    year = {2011},
    booktitle = {Proceedings of the 3rd International Conference on Knowledge and Systems Engineering ({KSE})},
    pages = {32--39},
    publisher = {IEEE},
    isbn = {978-1-4577-1848-9},
    doi = {10.1109/KSE.2011.14},
}

@inproceedings{DohDunSza:2011:461565,
    author = {Patrick Doherty and Barbara Dunin-Keplicz and Andrzej Szalas},
    title = {{Tractable model checking for fragments of higher-order coalition logic}},
    year = {2011},
    booktitle = {Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2},
    pages = {743--750},
    editor = {Liz Sonenberg and Peter Stone and Kagan Tumer and Pinar Yolum},
    publisher = {AAAI Press},
    isbn = {0-9826571-6-1, 978-0-9826571-6-4},
}

@inproceedings{CaoNguSza:2011:461560,
    author = {Son Thanh Cao and Anh Linh Nguyen and Andrzej Szalas},
    title = {{On the Web Ontology Rule Language OWL 2 RL}},
    year = {2011},
    booktitle = {Proceedings of the 3rd International Conference on Computational Collective Intelligence, Technologies and Applications ({ICCCI})},
    pages = {254--264},
    editor = {Piotr Jedrzejowicz and Ngoc Thanh Nguyen and Kiem Hoang},
    series = {Lecture Notes in Computer Science},
    volume = {6922},
    publisher = {Springer Berlin/Heidelberg},
    isbn = {978-3-642-23934-2},
    issn = {0302-9743},
    doi = {10.1007/978-3-642-23935-9\_25},
}

@inproceedings{DohMicEtAl:2011:461555,
    author = {Patrick Doherty and Tomasz Michalak and Jacek Sroka and Andrzej Szalas},
    title = {{Contextual Coalitional Games}},
    year = {2011},
    booktitle = {Proceedings of the 4th Indian Conference on Logic and its Applications ({ICLA})},
    pages = {65--78},
    editor = {Mohua Banerjee and Anil Seth},
    series = {Lecture Notes in Artificial Intelligence},
    volume = {6521},
    publisher = {Springer Berlin/Heidelberg},
    issn = {0302-9743},
    doi = {10.1007/978-3-642-18026-2\_7},
}

@article{DunNguSza:2011:461548,
    author = {Barbara Dunin-Keplicz and Anh Linh Nguyen and Andrzej Szalas},
    title = {{Converse-PDL with Regular Inclusion Axioms: A Framework for MAS Logics}},
    year = {2011},
    journal = {Journal of Applied Non-Classical Logics},
    volume = {21},
    number = {1},
    pages = {61--81},
    publisher = {Lavoisier},
    issn = {1166-3081},
    doi = {10.3166/jancl.21.61-91},
}

@article{NguSza:2011:461546,
    author = {Linh Anh Nguyen and Andrzej Szalas},
    title = {{ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse}},
    year = {2011},
    journal = {Studia Logica: An International Journal for Symbolic Logic},
    volume = {98},
    number = {3},
    pages = {387--428},
    publisher = {Springer Berlin/Heidelberg},
    issn = {0039-3215},
    doi = {10.1007/s11225-011-9341-3},
}

@article{MalSza:2011:461544,
    author = {Jan Maluszynski and Andrzej Szalas},
    title = {{Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation}},
    year = {2011},
    journal = {Journal of Applied Non-Classical Logics},
    volume = {21},
    number = {2},
    pages = {211--232},
    publisher = {Lavoisier},
    issn = {1166-3081},
    doi = {10.3166/jancl.21.211-232},
}

@inproceedings{DunNguSza:2010:499765,
    author = {Barbara Dunin-Keplicz and Anh Linh Nguyen and Andrzej Szalas},
    title = {{Graded Beliefs, Goals and Intentions}},
    year = {2010},
    booktitle = {Proceedings of the 3rd Workshop on Logical Aspects of Multi-Agent Systems ({LAMAS})},
    pages = {1--15},
    publisher = {AAAI Press},
}

@inproceedings{NguSza:2010:400674,
    author = {Anh Linh Nguyen and Andrzej Szalas},
    title = {{Three-Valued Paraconsistent Reasoning for Semantic Web Agents}},
    year = {2010},
    booktitle = {Proceedings of the 4th International KES Symposium on 		Agents and Multi-agent Systems -- Technologies and Applications (KES-AMSTA)},
    pages = {152--162},
    series = {Lecture Notes in Artificial Intelligence},
    volume = {6070},
    publisher = {Springer},
    isbn = {978-3-642-13479-1},
    issn = {0302-9743},
    doi = {10.1007/978-3-642-13480-7\_17},
}

@article{NguSza:2010:400673,
    author = {Anh Linh Nguyen and Andrzej Szalas},
    title = {{Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic SH}},
    year = {2010},
    journal = {Transactions on Computational Collective Intelligence},
    number = {1},
    pages = {21--38},
    publisher = {Springer},
    isbn = {978-3-642-15033-3},
    issn = {0302-9743},
    doi = {10.1007/978-3-642-15034-0\_2},
}

@article{NguSza:2010:371275,
    author = {Linh Anh Nguyen and Andrzej Szalas},
    title = {{Checking Consistency of an ABox w.r.t. Global Assumptions in PDL}},
    year = {2010},
    journal = {Fundamenta Informaticae},
    volume = {102},
    number = {1},
    pages = {97--113},
    publisher = {IOS Press},
    issn = {0169-2968},
    doi = {10.3233/FI-2010-299},
}

@inproceedings{DohSza:2010:353173,
    author = {Patrick Doherty and Andrzej Szalas},
    title = {{On the Correctness of Rough-Set Based Approximate Reasoning}},
    year = {2010},
    booktitle = {Proceedings of the 7th International Conference on Rough Sets and Current Trends in Computing ({RSCTC})},
    pages = {327--336},
    editor = {M. Szczuka and M. Kryszkiewicz and S. Ramanna and R. Jensen and Q. Hu},
    series = {Lecture Notes in Computer Science},
    volume = {6086},
    publisher = {Springer},
    isbn = {978-3-642-13528-6},
    issn = {0302-9743},
    doi = {10.1007/978-3-642-13529-3\_35},
}

@article{DunAnhSza:2010:345778,
    author = {Barbara Dunin-Keplicz and Linh Anh Nguyen and Andrzej Szalas},
    title = {{A Framework for Graded Beliefs, Goals and Intentions}},
    year = {2010},
    journal = {Fundamenta Informaticae},
    volume = {100},
    number = {1-4},
    pages = {53--76},
    publisher = {IOS Press},
    issn = {0169-2968},
    doi = {10.3233/FI-2010-263},
}

@article{DunNguSza:2010:337938,
    author = {Barbara Dunin-Keplicz and Linh Anh Nguyen and Andrzej Szalas},
    title = {{A Layered Rule-Based Architecture for Approximate Knowledge Fusion}},
    year = {2010},
    journal = {COMPUTER SCIENCE AND INFORMATION SYSTEMS},
    volume = {7},
    number = {3},
    pages = {617--642},
    publisher = {COMSIS CONSORTIUM},
    issn = {1820-0214},
    doi = {10.2298/CSIS100209015D},
}

@article{DunAnhSza:2010:308420,
    author = {Barbara Dunin-Keplicz and Linh Anh Nguyen and Andrzej Szalas},
    title = {{Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic}},
    year = {2010},
    journal = {International Journal of Approximate Reasoning},
    volume = {51},
    number = {3},
    pages = {346--362},
    publisher = {Elsevier},
    issn = {0888-613X},
    doi = {10.1016/j.ijar.2009.11.002},
}

@inproceedings{DunNguSza:2009:499763,
    author = {Barbara Dunin-Keplicz and Linh Anh Nguyen and Andrzej Szalas},
    title = {{Fusing Approximate Knowledge from Distributed Sources}},
    year = {2009},
    booktitle = {Proceedings of the 3rd International Symposium on Intelligent Distributed Computing ({IDC})},
    pages = {75--86},
    series = {Studies in Computational Intelligence},
    volume = {237},
    publisher = {Springer Berlin/Heidelberg},
    isbn = {978-3-642-03213-4, 978-3-642-26930-1},
    issn = {1860-949X},
    doi = {10.1007/978-3-642-03214-1\_8},
}

@inproceedings{NguSza:2009:499730,
    author = {Linh Anh Nguyen and Andrzej Szalas},
    title = {{Checking Consistency of an ABox w.r.t. Global Assumptions in PDL*}},
    year = {2009},
    booktitle = {Proceedings of the 18th Concurrency, Specification and Programming Workshop (CS\&P)},
    pages = {431--442},
}

@inproceedings{NguSza:2009:499728,
    author = {Linh Anh Nguyen and Andrzej Szalas},
    title = {{An Optimal Tableau Decision Procedure for Converse-PDL}},
    year = {2009},
    booktitle = {Proceedings of the 1st International Conference on Knowlegde and Systems Engineering ({KSE})},
    pages = {207--214},
    publisher = {IEEE Computer Society},
    isbn = {978-1-4244-5086-2},
    doi = {10.1109/KSE.2009.12},
}

@article{GabSza:2009:400675,
    author = {Dov Gabbay and Andrzej Szalas},
    title = {{Annotation Theories over Finite Graphs}},
    year = {2009},
    journal = {Studia Logica: An International Journal for Symbolic Logic},
    volume = {93},
    number = {2-3},
    pages = {147--180},
    publisher = {Springer},
    issn = {0039-3215},
    doi = {10.1007/s11225-009-9220-3},
}

@incollection{SzaSza:2009:242262,
    author = {Andrzej Szalas and Alicja Szalas},
    title = {{Paraconsistent Reasoning with Words}},
    year = {2009},
    booktitle = {Aspects of Natural Language Processing: Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday},
    pages = {43--58},
    series = {Lecture Notes in Computer Science},
    volume = {5070},
    publisher = {Springer},
    isbn = {978-3-642-04734-3},
    issn = {0302-9743},
    doi = {10.1007/978-3-642-04735-0\_2},
}

@article{SzaGab:2009:242260,
    author = {Andrzej Szalas and Dov Gabbay},
    title = {{Voting by Eliminating Quantifiers}},
    year = {2009},
    journal = {Studia Logica: An International Journal for Symbolic Logic},
    volume = {92},
    number = {3},
    pages = {365--379},
    publisher = {Springer},
    issn = {0039-3215},
    doi = {10.1007/s11225-009-9200-7},
}

@inproceedings{SzaNgu:2009:242257,
    author = {Andrzej Szalas and Linh Anh Nguyen},
    title = {{EXPTIME Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC}},
    year = {2009},
    booktitle = {Proceedings of the 1st International Conference on Computational Collective Intelligence - Semantic Web, Social Networks \& Multiagent Systems ({ICCCI})},
    pages = {437--448},
    editor = {Ngoc Thanh; Kowalczyk and Ryszard; Chen and Shyi-Ming},
    series = {Lecture Notes in Artificial Intelligence},
    volume = {5796},
    publisher = {Springer},
    isbn = {978-3-642-04440-3},
    issn = {0302-9743},
    doi = {10.1007/978-3-642-04441-0\_38},
}

@inproceedings{NguSza:2009:240915,
    author = {Linh Anh Nguyen and Andrzej Szalas},
    title = {{A tableau calculus for regular grammar logics with converse}},
    year = {2009},
    booktitle = {Proceedings of the 22nd International Conference on Automated Deduction ({CADE})},
    pages = {421--436},
    series = {Lecture Notes in Artificial Intelligence},
    volume = {5663},
    publisher = {Springer},
    isbn = {978-364202958-5},
    issn = {0302-9743},
    doi = {10.1007/978-3-642-02959-2\_31},
}

@article{Sza:2008:265495,
    author = {Andrzej Szalas},
    title = {{Towards Incorporating Background Theories into Quantifier Elimination}},
    year = {2008},
    journal = {Journal of applied non-classical logics},
    volume = {18},
    number = {2-3},
    pages = {325--340},
    publisher = {\'Editions Herm\`es-Lavoisier},
    issn = {1166-3081},
    doi = {10.3166/jancl.18.325­-340},
}

@inproceedings{DohSza:2008:265481,
    author = {Patrick Doherty and Andrzej Szalas},
    title = {{Reasoning with Qualitative Preferences and Cardinalities Using Generalized Circumscription}},
    year = {2008},
    booktitle = {Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning ({KR})},
    pages = {560--570},
    editor = {Gerhard Brewka and J\'er\^ome Lang},
    publisher = {AAAI Press},
    isbn = {978-1-57735-384-3},
}

@book{GabSchSza:2008:265478,
    author = {Dov M. Gabbay and Renate A. Schmidt and Andrzej Szalas},
    title = {{Second-Order Quantifier Elimination. Foundations, Computational Aspects and Applications}},
    year = {2008},
    series = {Studies in Logics},
    volume = {12},
    publisher = {College Publications},
    isbn = {978-1-904987-56-7},
}

@inproceedings{VitSzaMal:2008:264421,
    author = {Aida Vitoria and Andrzej Szalas and Jan Maluszynski},
    title = {{Four-valued Extension of Rough Sets}},
    year = {2008},
    booktitle = {Proceedings of the 3rd International Conference Rough Sets and Knowledge Technology ({RSKT})},
    pages = {106--114},
    series = {Lecture Notes in Computer Science},
    volume = {5009},
    publisher = {Springer},
    isbn = {978-3-540-79720-3},
    issn = {0302-9743},
    doi = {10.1007/978-3-540-79721-0\_19},
}

@inproceedings{MalVitSza:2008:264420,
    author = {Jan Maluszynski and Aida Vitoria and Andrzej Szalas},
    title = {{Paraconsistent Logic Programs with Four-valued Rough Sets}},
    year = {2008},
    booktitle = {Proceedings of the 6th International Conference on Rough Sets and Current Trends in Computing ({RSCTC})},
    pages = {41--},
    series = {Lecture Notes in Computer Science},
    volume = {5306},
    publisher = {Springer},
    isbn = {978-3-540-88423-1},
    issn = {0302-9743},
    doi = {10.1007/978-3-540-88425-5\_5},
}

@inproceedings{DunSza:2007:499760,
    author = {Barbara Dunin-Keplicz and Andrzej Szalas},
    title = {{Towards Approximate BGI Systems}},
    year = {2007},
    booktitle = {Proceedings of the 5th International Central and Eastern European Conference on Multi-Agent Systems ({CEEMAS})},
    pages = {277--287},
    series = {Lecture Notes in Artificial Intelligence},
    volume = {4696},
    publisher = {Springer Berlin/Heidelberg},
    isbn = {9783540752530},
    issn = {0302-9743},
    doi = {10.1007/978-3-540-75254-7\_28},
}

@article{DohLukSza:2007:270913,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Communication between agents with heterogeneous perceptual capabilities}},
    year = {2007},
    journal = {Information Fusion},
    volume = {8},
    number = {1},
    pages = {56--69},
    publisher = {Elsevier},
    issn = {1566-2535},
    doi = {10.1016/j.inffus.2005.05.006},
}

@article{GabSza:2007:269262,
    author = {D.M. Gabbay and Andrzej Szalas},
    title = {{Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals}},
    year = {2007},
    journal = {Studia Logica: An International Journal for Symbolic Logic},
    volume = {87},
    number = {1},
    pages = {37--50},
    publisher = {Springer},
    issn = {0039-3215},
    doi = {10.1007/s11225-007-9075-4},
}

@article{DohSza:2007:268924,
    author = {Patrick Doherty and Andrzej Szalas},
    title = {{A correspondence framework between three-valued logics and similarity-based approximate reasoning}},
    year = {2007},
    journal = {Fundamenta Informaticae},
    volume = {75},
    number = {1-4},
    pages = {179--193},
    publisher = {IOS Press},
    issn = {0169-2968},
}

@inproceedings{DohDunSza:2007:261725,
    author = {Patrick Doherty and Barbara Dunin-Keplicz and Andrzej Szalas},
    title = {{Dynamics of approximate information fusion}},
    year = {2007},
    booktitle = {Proceedings of the International Conference on Rough Sets and Emerging Intelligent Systems Paradigms ({RSEISP})},
    pages = {668--677},
    series = {Lecture Notes in Artificial Intelligence},
    volume = {4585},
    publisher = {Springer Berlin/Heidelberg},
    isbn = {978-3-540-73450-5},
    issn = {0302-9743},
    doi = {10.1007/978-3-540-73451-2\_70},
}

@incollection{MalSzaVit:2007:261686,
    author = {Jan Maluszynski and Andrzej Szalas and Aida Vitoria},
    title = {{A Four-Valued Logic for Rough Set-Like Approximate Reasoning}},
    year = {2007},
    booktitle = {Transactions on Rough Sets VI Commemorating the Life and Work of Zdzislaw Pawlak, Part I. DOI: 10.1007/978-3-540-71200-8},
    pages = {176--190},
    editor = {James F. Peters and Andrzej Skowron and Ivo D\"untsch and Jerzy Grzymala-Busse and Ewa Orlowska and Lech Polkowski},
    series = {Lecture Notes in Computer Science},
    volume = {4374/2007},
    publisher = {Springer},
    isbn = {3-540-71198-8, 978-3-540-71198-8},
    issn = {0302-9743 (print), 1611-3349 (online)},
    doi = {10.1007/978-3-540-71200-8\_11},
}

@proceedings{OrlPolSza:2006:499733,
    author = {Ewa Orlowska and Alberto Policriti and Andrzej Szalas},
    title = {{Algebraic and Relational Deductive Tools}},
    year = {2006},
    series = {Journal of Applied Non-Classical Logics},
    publisher = {\'Editions Herm\`es-Lavoisier},
    issn = {1166-3081},
    note = {Special Issue},
}

@inproceedings{SzaTys:2006:268965,
    author = {Andrzej Szalas and Jerzy Tyszkiewicz},
    title = {{On the fixpoint theory of equality and its applications}},
    year = {2006},
    booktitle = {Proceedings of the 9th International  Conference on Relational Methods in Computer Science and 4th  International Workshop on Applications of Kleene Algebra (RelMiCS/AKA)},
    pages = {388--401},
    series = {Lecture Notes in Computer Science},
    volume = {4136},
    publisher = {Springer},
    issn = {0302-9743},
    doi = {10.1007/11828563\_26},
}

@article{Sza:2006:257649,
    author = {Andrzej Szalas},
    title = {{Second-order Reasoning in Description Logics}},
    year = {2006},
    journal = {Journal of applied non-classical logics},
    volume = {16},
    number = {3 - 4},
    pages = {517--530},
    publisher = {\'Editions Herm\`es-Lavoisier},
    issn = {1166-3081},
    doi = {10.3166/jancl.16.517-530},
}

@inproceedings{OrlSza:2006:252681,
    author = {Ewa Orlowska and Andrzej Szalas},
    title = {{Quantifier Elimination in Elementary Set Theory}},
    year = {2006},
    booktitle = {Proceedings of the 8th International Conference on Relational Methods in Computer Science (RelMiCS)},
    pages = {237--248},
    editor = {W. MacCaull and I. Duentsch and M. Winter},
    series = {Lecture Notes in Computer Science},
    volume = {3929},
    publisher = {Springer Berlin/Heidelberg},
    issn = {0302-9743},
    doi = {10.1007/11734673\_19},
}

@book{DohLukEtAl:2006:252617,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Skowron and Andrzej Szalas},
    title = {{Knowledge Representation Techniques. A Rough Set Approach}},
    year = {2006},
    series = {Studies in Fuzziness and Soft Computing},
    volume = {202},
    publisher = {Springer},
    isbn = {978-3-540-33518-4},
    issn = {1434-9922},
    doi = {10.1007/3-540-33519-6},
}

@article{DohMagSza:2006:252615,
    author = {Patrick Doherty and Martin Magnusson and Andrzej Szalas},
    title = {{Approximate Databases: A support tool for approximate reasoning}},
    year = {2006},
    journal = {Journal of applied non-classical logics},
    volume = {16},
    number = {1-2},
    pages = {87--118},
    publisher = {\'Editions Herm\`es-Lavoisier},
    issn = {1166-3081},
    doi = {10.3166/jancl.16.87-117},
    note = {Special issue on implementation of logics},
}

@inproceedings{DohSzaLuk:2005:262236,
    author = {Patrick Doherty and Andrzej Szalas and Witold Lukaszewicz},
    title = {{Similarity, approximations and vagueness}},
    year = {2005},
    booktitle = {Proceedings of the 10th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (RSFDGrC)},
    pages = {541--550},
    editor = {Dominik Slezak and Guoyin Wang and Marcin S. Szczuka and Ivo D\"untsch and Yiyu Yao},
    series = {Lecture Notes in Artificial Intelligence},
    volume = {3641},
    publisher = {Springer},
    isbn = {3-540-28653-5},
    issn = {0302-9743},
    doi = {10.1007/11548669\_56},
}

@inproceedings{GraSza:2005:252682,
    author = {Michali Grabowski and Andrzej Szalas},
    title = {{A Technique for Learning Similarities on Complex Structures with Applications to Extracting Ontologies}},
    year = {2005},
    booktitle = {Proceedings of the 3rd Atlantic Web Intelligence Conference ({AWIC})},
    pages = {991--995},
    series = {Lecture Notes in Computer Science},
    volume = {3528},
    publisher = {Springer},
    issn = {0302-9743},
    doi = {10.1007/11495772\_29},
}

@inproceedings{MagDohSza:2005:252325,
    author = {Martin Magnusson and Patrick Doherty and Andrzej Szalas},
    title = {{An Experimental Platform for Approximate Databases}},
    year = {2005},
    booktitle = {3rd joint SAIS-SSL event on Artificial Intelligence and Learning Systems,2005},
    pages = {124--},
}

@inproceedings{DohKerEtAl:2004:269164,
    author = {Patrick Doherty and Steven Kertes and Martin Magnusson and Andrzej Szalas},
    title = {{Towards a logical analysis of biochemical pathways}},
    year = {2004},
    booktitle = {Proceedings of the 9th European Conference on Logics in Artificial Intelligence ({JELIA})},
    pages = {667--679},
    editor = {Jos\'e J\'ulio Alferes and João Alexandre Leite},
    series = {Lecture Notes in Computer Science},
    volume = {3229},
    publisher = {Springer},
    isbn = {978-3-540-23242-1},
    issn = {0302-9743},
    doi = {10.1007/978-3-540-30227-8\_55},
}

@inproceedings{DohKerEtAl:2004:243283,
    author = {Patrick Doherty and Steven Kertes and Martin Magnusson and Andrzej Szalas},
    title = {{Towards a Logical Analysis of Biochemical Reactions (Extended abstract)}},
    year = {2004},
    booktitle = {Proceedings of the 16th European Conference on Artificial Intelligence ({ECAI})},
    pages = {997--998},
    editor = {Ramon L\'opez de M\'antaras and Lorenza Saitta},
    publisher = {IOS Press},
    isbn = {1-58603-452-9},
}

@inproceedings{DohLukSza:2004:243282,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Approximate Databases and Query Techniques for Agents with Heterogenous Perceptual Capabilities}},
    year = {2004},
    booktitle = {Proceedings of the 7th International Conference on Information Fusion},
    pages = {175--182},
    publisher = {ISIF},
    isbn = {91-7056-115-X},
}

@inproceedings{DohSza:2004:243281,
    author = {Patrick Doherty and Andrzej Szalas},
    title = {{On the Correspondence between Approximations and Similarity}},
    year = {2004},
    booktitle = {Proceedings of the International Conference on Rough Sets and Current Trends in Computing ({RSCTC})},
    pages = {143--152},
    editor = {Shusaku Tsumoto and Roman Slowinski and Jan Komorowski and Jerzy W. Grzymala-Busse},
    series = {Lecture Notes in Computer Science},
    volume = {3066},
    publisher = {Springer},
    issn = {0302-9743},
    doi = {10.1007/978-3-540-25929-9\_16},
}

@inproceedings{DohLukSza:2004:243280,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities}},
    year = {2004},
    booktitle = {Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning},
    pages = {459--468},
    editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
    publisher = {AAAI Press},
    isbn = {978-1-57735-199-3},
}

@proceedings{DohLukEtAl:2003:499756,
    author = {Patrick Doherty and W. Lukaszewicz and Skowron Andrzej and Andrzej Szalas},
    title = {{Knowledge Representation and Approximate Reasoning}},
    year = {2003},
    series = {Fundamenta Informaticae},
    volume = {2003(57):2-4},
    publisher = {IOS Press},
    issn = {0169-2968},
    note = {Special Issue},
}

@inproceedings{Sza:2003:269407,
    author = {Andrzej Szalas},
    title = {{On a logical approach to estimating computational complexity of potentially intractable problems}},
    year = {2003},
    booktitle = {Proceedings of the 14th International Symposium on Fundamentals of Computation Theory ({FCT})},
    pages = {423--431},
    editor = {G. Goos and J. Hartmanis and and J. van Leeuwen},
    series = {Lecture Notes in Computer Science},
    volume = {2751},
    publisher = {Springer},
    issn = {0302-9743},
    doi = {10.1007/978-3-540-45077-1\_39},
}

@misc{DohSkoEtAl:2003:269316,
    author = {Patrick Doherty and A Skowron and Witold Lukaszewicz and Andrzej Szalas},
    title = {{1st International Workshop on Knowledge Representation and Approximate Reasoning (KR\&AR)}},
    year = {2003},
}

@article{DohGraEtAl:2003:269311,
    author = {Patrick Doherty and M Grabowski and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Towards a framework for approximate ontologies}},
    year = {2003},
    journal = {Fundamenta Informaticae},
    volume = {57},
    number = {2-4},
    pages = {147--165},
    publisher = {IOS Press},
    issn = {0169-2968},
}

@inproceedings{DohLukSza:2003:262459,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{On mutual understanding among communicating agents}},
    year = {2003},
    booktitle = {Proceedings of the International Workshop on Formal Approaches to Multi-Agent Systems ({FAMAS})},
    pages = {83--97},
    editor = {B. Dunin-Keplicz and R. Verbrugge},
}

@inproceedings{DohLukSza:2003:243274,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Tolerance Spaces and Approximative Representational Structures}},
    year = {2003},
    booktitle = {Proceedings of the 26th German Conference on Artificial Intelligence ({KI})},
    pages = {475--489},
    series = {Lecture Notes in Computer Science},
    volume = {2821},
    publisher = {Springer},
    issn = {0302-9743},
    doi = {10.1007/978-3-540-39451-8\_35},
}

@inproceedings{DohLukSza:2003:243269,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Information Granules for Intelligent Knowledge Structures}},
    year = {2003},
    booktitle = {Proceedings of the 9th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC)},
    pages = {405--412},
    editor = {Guoyin Wang and Qing Liu and Yiyu Yao and Andrzej Skowron},
    series = {Lecture Notes in Computer Science},
    volume = {2639},
    publisher = {Springer},
    isbn = {978-3-540-14040-5},
    issn = {0302-9743},
    doi = {10.1007/3-540-39205-X\_68},
}

@incollection{DohKacSza:2003:243266,
    author = {Patrick Doherty and Jaroslaw Kachniarz and Andrzej Szalas},
    title = {{Using Contextually Closed Queries for Local Closed-World Reasoning in Rough Knowledge Databases}},
    year = {2003},
    booktitle = {Rough-Neural Computing: Techniques for Computing with Words},
    pages = {219--250},
    series = {Cognitive Technologies},
    publisher = {Springer},
    isbn = {978-3-540-43059-9},
    issn = {1611-2482},
}

@incollection{DohLukEtAl:2003:243264,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Skowron and Andrzej Szalas},
    title = {{Approximation Transducers and Trees: A Technique for Combining Rough and Crisp Knowledge}},
    year = {2003},
    booktitle = {Rough-Neural Computing: Techniques for Computing with Words},
    pages = {189--218},
    series = {Cognitive Technologies},
    publisher = {Springer},
    issn = {1611-2482},
}

@inproceedings{Sza:2002:269354,
    author = {Andrzej Szalas},
    title = {{Second-order quantifier elimination in modal contexts}},
    year = {2002},
    booktitle = {Proceedings of the 8th European Conference on Logics in Artificial Intelligence ({JELIA})},
    pages = {223--232},
    editor = {Sergio Flesca and Sergio Greco and Nicola Leone and Giovambattista Ianni},
    series = {Lecture Notes in Computer Science},
    volume = {2424},
    publisher = {Springer},
    isbn = {978-354044190-8},
    issn = {0302-9743},
    doi = {10.1007/3-540-45757-7\_19},
}

@inproceedings{DohLukSza:2002:262460,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{CAKE: A computer aided knowledge engineering technique}},
    year = {2002},
    booktitle = {Proceedings of the 15th European Conference on Artificial Intelligence,2002},
    pages = {220--224},
    editor = {Frank van Harmelen},
    publisher = {IOS Press},
}

@incollection{KacSza:2001:499745,
    author = {Jaroslaw Kachniarz and Andrzej Szalas},
    title = {{On a Static Approach to Verification of Integrity Constraints in Relational Databases}},
    year = {2001},
    booktitle = {Relational Methods for Computer Science Applications},
    pages = {97--109},
    editor = {Eva Orlowska and Andrzej Szalas},
    series = {Studies in Fuzziness and Soft Computing},
    volume = {65},
    publisher = {Springer Physica-Verlag},
    isbn = {3-7908-1365-6},
    issn = {1434-9922},
}

@misc{OrlSza:2001:499734,
    author = {Ewa Orlowska and Andrzej Szalas},
    title = {{Relational Methods for Computer Science Applications}},
    year = {2001},
    series = {Studies in Fuziness and Soft Computing},
    publisher = {Springer Physica Verlag},
    isbn = {37-9081-365-6, 978-37-9081-365-4},
    issn = {1434-9922},
}

@inproceedings{DohLukSza:2001:262451,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Computing strongest necessary and weakest sufficient conditions of first-order formulas}},
    year = {2001},
    booktitle = {17th International Joint Conference on Artificial Intelligence,2001},
    pages = {145--},
    publisher = {Morgan Kaufmann},
}

@inproceedings{KacSza:2000:499743,
    author = {Jaroslaw Kachniarz and Andrzej Szalas},
    title = {{Algorithms based on Symbolic Transformations of Logical Formulas in the RDL Language}},
    year = {2000},
    booktitle = {Proceedings of the 2nd Conference on Applications of Computer Science in Mathematics and Economy},
    pages = {101--115},
    publisher = {WSIiE, Olsztyn, Poland},
}

@inproceedings{KacSza:2000:499741,
    author = {Jaroslaw Kachniarz and Andrzej Szalas},
    title = {{On Rule-Based Approach to the Construction of Logical Transformers}},
    year = {2000},
    booktitle = {Proceedings of the 1st International Workshop on Rule-Based Programming ({RULE})},
    pages = {57--71},
    publisher = {Springer Physica-Verlag},
}

@inproceedings{DohLukSza:2000:262444,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Efficient reasoning using the local closed-world assumption}},
    year = {2000},
    booktitle = {Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems and Applications ({AIMSA})},
    pages = {49--58},
    series = {Lecture Notes in Computer Science},
    volume = {1904},
    publisher = {Springer},
    isbn = {3-540-41044-9},
    issn = {0302-9743},
    doi = {10.1007/3-540-45331-8\_5},
}

@inproceedings{NonOhlSza:1999:499737,
    author = {Andreas Nonnengart and Hans-J\"urgen Ohlbach and Andrzej Szalas},
    title = {{Elimination of Predicate Quantifiers}},
    year = {1999},
    booktitle = {Logic, Language and Reasoning. Essays in Honor of Dov Gabbay, Part I},
    pages = {159--181},
    publisher = {Kluwer Academic Publishers},
}

@article{DohKacSza:1999:262472,
    author = {Patrick Doherty and Jaroslaw Kachniarz and Andrzej Szalas},
    title = {{Meta-queries on deductive databases}},
    year = {1999},
    journal = {Fundamenta Informaticae},
    volume = {40},
    number = {1},
    pages = {17--30},
    publisher = {IOS Press},
    issn = {0169-2968},
    doi = {10.3233/FI-1999-40102},
}

@article{DohLukSza:1999:262470,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Declarative PTIME queries for relational databases using quantifier elimination}},
    year = {1999},
    journal = {Journal of logic and computation (Print)},
    volume = {9},
    number = {5},
    pages = {737--758},
    publisher = {Oxford University Press},
    issn = {0955-792X},
    doi = {10.1093/logcom/9.5.737},
}

@book{BolDziEtAl:1998:499769,
    author = {Leonard Bolc and Krzysztof Dziewicki and Piotr Rychlik and Andrzej Szalas},
    title = {{Wnioskowanie w logikach nieklasycznych: Automatyzacja wnioskowania}},
    year = {1998},
    publisher = {Academic Pub. PLJ (Akademicka Oficyna Wydawnicza PLJ)},
    isbn = {83-7101-403-1, 978-83-7101-403-1},
}

@incollection{NonSza:1998:499739,
    author = {Andreas Nonnengart and Andrzej Szalas},
    title = {{A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory}},
    year = {1998},
    booktitle = {Logic at work: essays dedicated to the memory of Helena Rasiowa},
    pages = {307--328},
    editor = {Ewa Orlowska},
    series = {Studies in Fuzziness and Soft Computing},
    volume = {24},
    publisher = {Physica Verlag},
    isbn = {3-7908-1164-5},
    issn = {1434-9922},
}

@article{DohLukSza:1998:262471,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{General domain circumscription and its effective reductions}},
    year = {1998},
    journal = {Fundamenta Informaticae},
    volume = {36},
    number = {1},
    pages = {23--55},
    publisher = {IOS Press},
    issn = {0169-2968},
    doi = {10.3233/FI-1998-3612},
}

@article{DohLukSza:1997:262477,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Computing circumscription revisited: A reduction algorithm}},
    year = {1997},
    journal = {Journal of automated reasoning},
    volume = {18},
    number = {3},
    pages = {297--336},
    publisher = {Kluwer Academic Publishers},
    issn = {0168-7433},
    doi = {10.1023/A:1005722130532},
}

@article{Sza:1996:499794,
    author = {Andrzej Szalas},
    title = {{On Natural Deduction in First-Order Fixpoint Logics}},
    year = {1996},
    journal = {Fundamenta Informaticae},
    volume = {26},
    number = {1},
    pages = {81--94},
    publisher = {IOS Press},
    issn = {0169-2968},
    doi = {10.3233/FI-1996-2616},
}

@proceedings{PenSza:1996:499719,
    author = {Wojciech Penczek and Andrzej Szalas},
    title = {{Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science (MFCS)}},
    year = {1996},
    series = {Lecture Notes in Computer Science},
    volume = {1113},
    publisher = {Springer Verlag},
    isbn = {978-3-540-61550-7},
    issn = {0302-9743},
}

@techreport{DohLukSza:1996:262596,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Declarative ptime queries to relational databases}},
    year = {1996},
    series = {LITH-IDA-R},
    volume = {34},
    publisher = {Department of Computer and Information Science, Link\"oping University},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
}

@techreport{DohLukSza:1996:262575,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{General domain circumscription and its first-order reduction}},
    year = {1996},
    series = {LITH-IDA-R},
    volume = {1},
    publisher = {Department of Computer and Information Science, Link\"oping University},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
}

@article{DohLukSza:1996:262475,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{A reduction result for circumscribed semi-horn formulas}},
    year = {1996},
    journal = {Fundamenta Informaticae},
    volume = {28},
    number = {3,4},
    pages = {261--272},
    publisher = {IOS Press},
    issn = {0169-2968},
    doi = {10.3233/FI-1996-283404},
}

@inproceedings{DohLukSza:1996:262302,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Explaining explanation closure}},
    year = {1996},
    booktitle = {Proceedings of the 9th International Symposium on Methodologies for Intelligent Systems,1996},
    pages = {521--530},
    editor = {Zbigniew W. Ras and Maciek Michalewicz},
    series = {Lecture Notes in Computer Science},
    volume = {1079},
    publisher = {Springer Berlin/Heidelberg},
    isbn = {3-540-61286-6},
    issn = {0302-9743},
    doi = {10.1007/3-540-61286-6\_176},
}

@inproceedings{DohLukSza:1996:262299,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{General domain circumscription and its first-order reduction}},
    year = {1996},
    booktitle = {Proceedings of the 1st International Conference on Formal and Applied Practical Reasoning ({FAPR})},
    pages = {93--109},
    editor = {Dov Gabbay and Hans Olbach},
    series = {Lecture Notes in Computer Science},
    volume = {1085},
    publisher = {Springer Berlin/Heidelberg},
    isbn = {978-3-540-61313-8},
    issn = {0302-9743},
    doi = {10.1007/3-540-61313-7\_65},
}

@misc{BolSza:1995:499778,
    author = {Leonard Bolc and Andrzej Szalas},
    title = {{Time and Logic: A Computational Approach}},
    year = {1995},
    publisher = {CRC Press},
    isbn = {1-85728-233-7, 978-18-5728-233-7},
}

@incollection{Sza:1995:499773,
    author = {Andrzej Szalas},
    title = {{Temporal Logic: A Standard Approach}},
    year = {1995},
    booktitle = {Time And Logic: A Computational Approach},
    pages = {1--50},
    editor = {Leonard Bolc and Andrzej Szalas},
    publisher = {UCL Press Ltd.},
    isbn = {1-85728-233-7, 978-1857282337},
}

@book{BolDziEtAl:1995:499768,
    author = {Leonard Bolc and Krzysztof Dziewicki and Piotr Rychlik and Andrzej Szalas},
    title = {{Wnioskowanie w logikach nieklasycznych: Podstawy teoretyczne}},
    year = {1995},
    publisher = {Academic Pub. PLJ (Akademicka Oficyna Wydawnicza PLJ)},
    isbn = {9788371012884},
}

@techreport{DohLukSza:1995:262574,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{A characterization result for circumscribed normal logic programs. Revised version accepted for publication:  Special issue of honor of H. Rasiowa, Fundamenta Informaticae}},
    year = {1995},
    series = {LITH-IDA-R},
    volume = {20},
    publisher = {Department of Computer and Information Science, Link\"oping University},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
}

@inproceedings{DohLukSza:1995:262301,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Computing circumscription revisited}},
    year = {1995},
    booktitle = {Proceedings of the 14th International Joint Conference on Artificial Intelligence ({IJCAI})},
    pages = {1502--1508},
    isbn = {978-1558603639},
    note = {Volume 2. Preliminary report},
}

@article{Sza:1994:499789,
    author = {Andrzej Szalas},
    title = {{On an Automated Translation of Modal Proof Rules into Formulas of the Classical Logic}},
    year = {1994},
    journal = {Journal of Applied Non-Classical Logics},
    volume = {4},
    number = {2},
    pages = {119--127},
    publisher = {\'Editions Herm\`es-Lavoisier},
    issn = {1166-3081},
}

@inproceedings{Sza:1994:499787,
    author = {Andrzej Szalas},
    title = {{Genetic Algorithms for Decision Problems}},
    year = {1994},
    booktitle = {Proceedings of the 6th International Conference on Artificial Intelligence and Information-Control Systems of Robots ({AIICSR})},
    pages = {383--390},
    publisher = {World Scientific},
    isbn = {981-02-1877-X},
}

@techreport{DohLukSza:1994:262573,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Computing circumscription revisited: A reduction algorithm}},
    year = {1994},
    series = {LITH-IDA-R},
    volume = {94-42},
    publisher = {Department of Computer and Information Science, Link\"oping University},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    issn = {0281-4250},
}

@article{Sza:1993:499797,
    author = {Andrzej Szalas},
    title = {{On the Correspondence between Modal and Classical Logic: An Automated Approach}},
    year = {1993},
    journal = {Journal of logic and computation (Print)},
    volume = {3},
    number = {6},
    pages = {605--620},
    publisher = {Oxford University Press},
    issn = {0955-792X},
    doi = {10.1093/logcom/3.6.605},
}

@article{Sza:1992:499795,
    author = {Andrzej Szalas},
    title = {{Axiomatizing Fixpoint Logics}},
    year = {1992},
    journal = {Information Processing Letters},
    volume = {41},
    number = {4},
    pages = {175--180},
    publisher = {Elsevier},
    issn = {0020-0190},
    doi = {10.1016/0020-0190(92)90175-U},
}

@book{Sza:1992:499715,
    author = {Andrzej Szalas},
    title = {{Zarys dedukcyjnych metod automatycznego wnioskowania}},
    year = {1992},
    publisher = {Academic Pub. RM (Akademicka Oficyna Wydawnicza RM)},
    isbn = {83-9004-517-6, 978-83-9004-517-7},
}

@article{Sza:1991:499807,
    author = {Andrzej Szalas},
    title = {{On Strictly Arithmetical Completeness in Logics of Programs}},
    year = {1991},
    journal = {Theoretical Computer Science},
    volume = {79},
    number = {2},
    pages = {341--355},
    publisher = {Elsevier},
    issn = {0304-3975},
    doi = {10.1016/0304-3975(91)90336-Z},
}

@book{SzaWar:1991:499716,
    author = {Andrzej Szalas and Jolanta Warpechowska},
    title = {{Loglan}},
    year = {1991},
    publisher = {Wydawnictwa Naukowo-Techniczne WNT},
    isbn = {83-2041-295-1, 978-83-2041-295-6},
    note = {In Polish; Volume 78, Biblioteka Inżynierii Oprogramowania},
}

@article{PetSza:1989:499723,
    author = {Uwe Petermann and Andrzej Szalas},
    title = {{On Temporal Logic for Distributed Systems and its Application to Processes Communicating by Interrupts}},
    year = {1989},
    journal = {Fundamenta Informaticae},
    volume = {12},
    pages = {191--204},
    publisher = {IOS Press},
    issn = {0169-2968},
}

@article{Sza:1988:499818,
    author = {Andrzej Szalas},
    title = {{Towards the Temporal Approach to Abstract Data Types}},
    year = {1988},
    journal = {Fundamenta Informaticae},
    volume = {11},
    number = {1},
    pages = {49--64},
    publisher = {IOS Press},
    issn = {0169-2968},
}

@article{Sza:1988:499799,
    author = {Andrzej Szalas},
    title = {{An Incompleteness Result in Process Algebra}},
    year = {1988},
    journal = {Information Processing Letters},
    volume = {29},
    number = {2},
    pages = {67--70},
    publisher = {Elsevier},
    issn = {0020-0190},
    doi = {10.1016/0020-0190(88)90030-0},
}

@article{HolSza:1988:499750,
    author = {Leszek Holenderski and Andrzej Szalas},
    title = {{Propositional Description of Finite Cause-Effect Structures}},
    year = {1988},
    journal = {Information Processing Letters},
    volume = {27},
    number = {3},
    pages = {111--117},
    publisher = {Elsevier},
    issn = {0020-0190},
    doi = {10.1016/0020-0190(88)90064-6},
}

@article{SzaHol:1988:499746,
    author = {Andrzej Szalas and Leszek Holenderski},
    title = {{Incompleteness of First-Order Temporal Logic with Until}},
    year = {1988},
    journal = {Theoretical Computer Science},
    volume = {57},
    number = {2-3},
    pages = {317--325},
    publisher = {Elsevier},
    issn = {0304-3975},
    doi = {10.1016/0304-3975(88)90045-X},
}

@article{Sza:1987:499822,
    author = {Andrzej Szalas},
    title = {{A Complete Axiomatic Characterization of First-Order Temporal Logic of Linear Time}},
    year = {1987},
    journal = {Theoretical Computer Science},
    volume = {54},
    number = {2-3},
    pages = {199--214},
    publisher = {Elsevier},
    issn = {0304-3975},
    doi = {10.1016/0304-3975(87)90129-0},
}

@article{Sza:1987:499817,
    author = {Andrzej Szalas},
    title = {{Arithmetical Axiomatization of First-Order Temporal Logic}},
    year = {1987},
    journal = {Information Processing Letters},
    volume = {26},
    number = {3},
    pages = {111--116},
    publisher = {Elsevier},
    issn = {0020-0190},
    doi = {10.1016/0020-0190(87)90047-0},
}

@inproceedings{CunNonSza:1987:499770,
    author = {R. J. Cunningham and Andreas Nonnengart and Andrzej Szalas},
    title = {{A Compositional Method for the Design and Proof of Asynchronous Processes}},
    year = {1987},
    booktitle = {Proceedings of the 4th Annual ESPRIT Conference ({ESPRIT})},
    pages = {566--580},
    publisher = {North-Holland},
    isbn = {0-444-70333-0},
}

@article{Sza:1986:499709,
    author = {Andrzej Szalas},
    title = {{Concerning the Semantic Consequence Relation in First-Order Temporal Logic}},
    year = {1986},
    journal = {Theoretical Computer Science},
    volume = {47},
    number = {3},
    pages = {329--334},
    publisher = {Elsevier},
    issn = {0304-3975},
    doi = {10.1016/0304-3975(86)90157-X},
}

@article{PetSza:1985:499721,
    author = {Uwe Petermann and Andrzej Szalas},
    title = {{A Note on PCI: Distributed Processes Communicating by Interrupts}},
    year = {1985},
    journal = {SIGPLAN notices},
    volume = {20},
    number = {3},
    pages = {37--46},
    publisher = {ACM Press},
    issn = {0362-1340},
    doi = {10.1145/382284.382390},
}

@article{SzaSzc:1985:499714,
    author = {Andrzej Szalas and Danuta Szczepaska},
    title = {{Exception Handling in Parallel Computations}},
    year = {1985},
    journal = {SIGPLAN notices},
    volume = {20},
    number = {10},
    pages = {95--104},
    publisher = {ACM Press},
    issn = {0362-1340},
    doi = {10.1145/382286.382385},
}

@article{Sza:1984:499704,
    author = {Andrzej Szalas},
    title = {{On an Application of Algorithmic Theory of Stacks}},
    year = {1984},
    journal = {Fundamenta Informaticae},
    volume = {7},
    number = {3},
    pages = {378--388},
    publisher = {IOS Press},
    issn = {0169-2968},
}

@article{Sza:1981:499698,
    author = {Andrzej Szalas},
    title = {{Algorithmic Logic with Recursive Functions}},
    year = {1981},
    journal = {Fundamenta Informaticae},
    volume = {4},
    number = {4},
    pages = {975--995},
    publisher = {IOS Press},
    issn = {0169-2968},
}