| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q2844051 | 2013-08-27 | Paper |
| Logical foundations and complexity of 4QL, a query language with unrestricted negation | 2012-07-17 | Paper |
| Modeling and Reasoning with Paraconsistent Rough Sets | 2010-03-10 | Paper |
| Paraconsistent Logic Programs with Four-Valued Rough Sets | 2008-11-25 | Paper |
| A Four-Valued Logic for Rough Set-Like Approximate Reasoning | 2007-09-03 | Paper |
| Rough Sets and Current Trends in Computing | 2006-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4460677 | 2004-03-29 | Paper |
| Using parametric set constraints for locating errors in CLP programs | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4426949 | 2003-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484246 | 2003-06-12 | Paper |
| Static and dynamic slicing of constraint logic programs | 2003-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499276 | 2001-03-05 | Paper |
| Directional types and the annotation method | 1998-04-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4875865 | 1996-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4858580 | 1995-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3998267 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3201744 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3204030 | 1989-01-01 | Paper |
| Logic programming with external procedures: Introducing S-unification | 1988-01-01 | Paper |
| Inductive assertion method for logic pograms | 1988-01-01 | Paper |
| Logic programming and rapid prototyping | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3776674 | 1987-01-01 | Paper |
| Relating logic programs and attribute grammars | 1985-01-01 | Paper |
| Towards a programming language based on the notion of two-level grammar | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3323239 | 1983-01-01 | Paper |
| Grammatical unification | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3657447 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3910026 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3881890 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4174254 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4086730 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4092953 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4101447 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4082315 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4403746 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5674422 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4068072 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5653570 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5605227 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5629240 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5576258 | 1969-01-01 | Paper |
