Proving Properties of Pascal Programs in MIZAR 2. - Piotr Rudnicki; Wlodzimierz Drabent (Acta Informatica, 1985)

Erratum: Proving Properties of Pascal Programs in MIZAR 2. - Piotr Rudnicki; Wlodzimierz Drabent (Acta Informatica, 1986)

Do Logic Programs Resemble Programs in Conventional Languages? - Wlodzimierz Drabent (SLP, 1987)

The Use of Assertions in Algorithmic Debugging. - Wlodzimierz Drabent; Simin Nadjm-Tehrani; Jan Maluszynski (FGCS, 1988)

Algorithmic Debugging with Assertions. - Wlodzimierz Drabent; Simin Nadjm-Tehrani; Jan Maluszynski (META, 1988)

Inductive Assertion Method for Logic Programs. - Wlodzimierz Drabent; Jan Maluszynski (Theor. Comput. Sci., 1988)

Strict Completion of Logic Programs. - Wlodzimierz Drabent; Maurizio Martelli (New Gener. Comput., 1991)

What is Failure? Or: Constructive Negation by Fail Answers. - Wlodzimierz Drabent (ICCI, 1992)

Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging. - Krzysztof Kuchcinski; Wlodzimierz Drabent; Jan Maluszynski (AADEBUG, 1993)

SLS-Resolution without Floundering. - Wlodzimierz Drabent (LPNMR, 1993)

Completeness of SLDNF-Resolution for Non-Floundering Queries. - Wlodzimierz Drabent (ILPS, 1993)

What is Failure? An Approach to Constructive Negation. - Wlodzimierz Drabent (Acta Informatica, 1995)

On Quantified Negatives Queries. - Alessandra Di Pierro; Wlodzimierz Drabent (APPIA-GULP-PRODE, 1996)

On Negation As Instantiation. - Alessandra Di Pierro; Wlodzimierz Drabent (ALP, 1996)

Completeness of SLDNF-Resolution for Nonfloundering Queries. - Wlodzimierz Drabent (J. Log. Program., 1996)

Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach. - Johan Boye; Wlodzimierz Drabent; Jan Maluszynski (AADEBUG, 1997)

On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. - Francisco Bueno; Pierre Deransart; Wlodzimierz Drabent; Gérard Ferrand; Manuel V. Hermenegildo; Jan Maluszynski; Germán Puebla (AADEBUG, 1997)

Tools and Environments for (Constraint) Logic Programming (Workshop Overview). - Germán Puebla; Marco Comini; Wlodzimierz Drabent; Mireille Ducassé; Massimo Fabris; Christian Schulte 001 (ILPS, 1997)

Type Analysis for CHIP. - Wlodzimierz Drabent; Pawel Pietrzak (AMAST, 1998)

Diagnosis of CHIP Programs Using Type Information. - Marco Comini; Wlodzimierz Drabent; Pawel Pietrzak (APPIA-GULP-PRODE, 1999)

It Is Declarative. - Wlodzimierz Drabent (ICLP, 1999)

Type-based Diagnosis of CLP Programs. - Wlodzimierz Drabent; Jan Maluszynski; Pawel Pietrzak (WLPE@ICLP, 1999)

Locating Type Errors in Untyped CLP Programs. - Wlodzimierz Drabent; Jan Maluszynski; Pawel Pietrzak (Analysis and Visualization Tools for Constraint Programming, 2000)

Parametric Descriptive Types for CLP. - Wlodzimierz Drabent; Jan Maluszynski; Pawel Pietrzak (JFPLC, 2001)

Using parametric set constraints for locating errors in CLP programs. - Wlodzimierz Drabent; Jan Maluszynski; Pawel Pietrzak (Theory Pract. Log. Program., 2002)

On Types for XML Query Language Xcerpt. - Artur Wilk; Wlodzimierz Drabent (PPSWR, 2003)

On Subtyping of Tree-Structured Data: A Polynomial Approach. - François Bry; Wlodzimierz Drabent; Jan Maluszynski (PPSWR, 2004)

Descriptive Typing Rules for Xcerpt. - Sacha Berger; Emmanuel Coquery; Wlodzimierz Drabent; Artur Wilk (PPSWR, 2005)

Towards Types for Web Rule Languages. - Wlodzimierz Drabent (Reasoning Web, 2005)

Proving correctness and completeness of normal programs - a declarative approach. - Wlodzimierz Drabent; Miroslawa Milkowska (Theory Pract. Log. Program., 2005)

Towards More Precise Typing Rules for. - Wlodzimierz Drabent (PPSWR, 2006)

A Prototype of a Descriptive Type System for Xcerpt. - Artur Wilk; Wlodzimierz Drabent (PPSWR, 2006)

HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners. - Wlodzimierz Drabent; Jakob Henriksson; Jan Maluszynski (ALPSWS, 2007)

Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics. - Wlodzimierz Drabent; Jakob Henriksson; Jan Maluszynski (RR, 2007)

Well-Founded Semantics for Hybrid Rules. - Wlodzimierz Drabent; Jan Maluszynski (RR, 2007)

Extending XML Query Language Xcerpt by Ontology Queries. - Wlodzimierz Drabent; Artur Wilk (Web Intelligence, 2007)

Hybrid Reasoning with Rules and Ontologies. - Wlodzimierz Drabent; Thomas Eiter; Giovambattista Ianni; Thomas Krennwallner; Thomas Lukasiewicz; Jan Maluszynski (REWERSE, 2009)

Hybrid Reasoning with Non-monotonic Rules. - Wlodzimierz Drabent (Reasoning Web, 2010)

Hybrid rules with well-founded semantics. - Wlodzimierz Drabent; Jan Maluszynski (Knowl. Inf. Syst., 2010)

Logic + control: An example of program construction - Wlodzimierz Drabent (CoRR, 2011)

Logic + control: An example. - Wlodzimierz Drabent (ICLP (Technical Communications), 2012)

Formalizing Business Process Using Hybrid Programs. - Suman Roy 001; Wlodek Drabent (OWLED, 2012)

A simple correctness proof for magic transformation. - Wlodzimierz Drabent (Theory Pract. Log. Program., 2012)

On Completeness of Logic Programs. - Wlodzimierz Drabent (LOPSTR, 2014)

Correctness and Completeness of Logic Programs. - Wlodzimierz Drabent (ACM Trans. Comput. Log., 2016)

On definite program answers and least Herbrand models. - Wlodzimierz Drabent (Theory Pract. Log. Program., 2016)

Proving completeness of logic programs with the cut. - Wlodzimierz Drabent (Formal Aspects Comput., 2017)

Logic + control: On program construction and verification. - Wlodzimierz Drabent (Theory Pract. Log. Program., 2018)

The Prolog Debugger and Declarative Programming. - Wlodzimierz Drabent (LOPSTR, 2019)

On correctness of an n queens program. - Wlodzimierz Drabent (CoRR, 2019)

The Prolog Debugger and Declarative Programming. Examples. - Wlodzimierz Drabent (CoRR, 2020)

Implementing backjumping by throw/1 and catch/3 of Prolog. - Wlodzimierz Drabent (CoRR, 2020)

S-Semantics-an Example. - Wlodzimierz Drabent (LOPSTR, 2021)

SLD-resolution without occur-check, an example. - Wlodzimierz Drabent (CoRR, 2021)

A Note on Occur-Check. - Wlodzimierz Drabent (ICLP Technical Communications, 2021)

On Correctness of Normal Logic Programs. - Wlodzimierz Drabent (LOPSTR, 2022)

A note on occur-check (extended report). - Wlodzimierz Drabent (CoRR, 2022)

On Correctness and Completeness of an n Queens Program. - Wlodzimierz Drabent (Theory Pract. Log. Program., 2022)

On Feasibility of Declarative Diagnosis. - Wlodzimierz Drabent (ICLP, 2023)

Implementing Backjumping by Means of Exception Handling. - Wlodzimierz Drabent (Theory Pract. Log. Program., 2023)

A relaxed condition for avoiding the occur-check. - Wlodzimierz Drabent (Theor. Comput. Sci., 2023)