Constraint-based and SAT-based diagnosis of automotive configuration problems
Rouven Walter and Alexander Felfernig and Wolfgang Küchlin
in: Journal of Intelligent Information Systems, Volume 49, pp. 87-118 (2017)
doi = 10.1007/s10844-016-0422-7, Paper

Adapting Binary Decision Diagrams for Visualizing Product Configuration Data
Daniel Bischoff, Wolfgang Küchlin
in: 47. Jahrestagung der Gesellschaft für Informatik 2017, pp.: 1499-1509 (2017)
doi = {10.18420/in2017\_149}, Paper

Different solving strategies on PBO Problems from automotive industry
Thore Kübart, Rouven Walter, Wolfgang Küchlin
in: Proceedings of the 17th International Configuration Workshop, Vienna, Austria, September 10-11, pp.: 67-72 (2015)
Paper

Inverse QuickXplain vs. MaxSAT - a comparison in theory and practice
Rouven Walter, Alexander Felfernig, Wolfgang Küchlin
in: Proceedings of the 17th International Configuration Workshop, Vienna, Austria, September 10-11, pp.: 97-104 (2015)
Paper

Formal analysis of the Linux kernel configuration with SAT solving
Martin Walch, Rouven Walter, Wolfgang Küchlin
in: Proceedings of the 17th International Configuration Workshop, Vienna, Austria, September 10-11, pp.: 131-138 (2015)
Paper

Optimal Coverage in Automotive Configuration
Rouven Walter, Thore Kübart, Wolfgang Küchlin
in: Mathematical Aspects of Computer and Information Sciences - 6th International Conference, Berlin, Germany, November 11-13, 2015,
Revised Selected Papers, pp.: 611-626 (2015)
doi: 10.1007/978-3-319-32859-1\_52 

ReMax - A MaxSAT aided Product (Re-)Configurator
Rouven Walter, Wolfgang Küchlin
in: Proceedings of the 16th International Configuration Workshop, Novi Sad, Serbia, September 25-26, pp.:59-66 (2014)
Paper

Applications of MaxSAT in Automotive Configuration
Rouven Walter, Christoph Zengler, Wolfgang Küchlin
in: Proceedings of the 15th International Configuration Workshop, Vienna, Austria, August 29-30, pp.: 21-28 (2013)
Paper

Boolean Quantifier Elimination for Automotive Configuration - A Case Study
Christoph Zengler, Wolfgang Küchlin
in: Formal Methods for Industrial Critical Systems - 18th International Workshop, (FMICS) 2013, Madrid, Spain, September 23-24,.pp.: 48-62. Proceedings (2013)
doi:10.1007/978-3-642-41010-9\_4

An Improved Constraint Ordering Heuristics for Compiling Configuration Problems
Benjamin Matthes, Christoph Zengler, Wolfgang Küchlin
in: Proceedings of the Workshop on Configuration at (ECAI) 2012, Montpellier, France, August 27,  pp.: 36-40 (2012)
Paper

New approaches to boolean quantifier elimination
Christoph Zengler, Andreas Kübler, Wolfgang Küchlin
in: ACM Communications in Computer Algebra, Vol. 45, No. 2, Issue 176, pp.:139-140 (2011)
doi: 10.1145/2016567.2016595,  Paper

Boolean Gröbner bases in SAT solving
Christoph Zengler, Wolfgang Küchlin
in: ACM Communications in Computer Algebra, Vol. 45, No. 2, Issue 176, pp.:141-142 (2011)
doi: 10.1145/2016567.2016596, Paper

MoBiFlow: Principles and Design of a Workflow System for Molecular Biology
Markus Held, Wolfgang Küchlin, Wolfgang Blochinger
in: IJSSMET, Vol 2, No 4, pp.: 67-78 (2011)
doi: 10.4018/IJSSMET.2011100107

Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases
Christoph Zengler, Wolfgang Küchlin
in: Computer Algebra in Scientific Computing - 12th International Workshop, (CASC) 2010, Tsakhkadzor, Armenia, September 6-12, Proceedings, pp.: 293-302 (2010)
doi: 10.1007/978-3-642-15274-0\_26

MoBiFlow - ein Web-2.0 basiertes Workflowsystem für die Mikrobiologie
Wolfgang Küchlin, Markus Held
Informatik 2010: Service Science - Neue Perspektiven für die Informatik, Beiträge der 40. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Band 1, 27.09. - 1.10., Leipzig, Deutschland, pp.: 347-352 (2010)
Paper

Model Counting in Product Configuration
Andreas Kübler, Christoph Zengler, Wolfgang Küchlin
Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July, pp.: 44-53 (2010)
doi: 10.4204/EPTCS.29.5, Paper

Towards automatic software model checking of thousands of Linux modules - a case study with Avinux
Hendrik Post, Carsten Sinz, Wolfgang Küchlin
Software Testing, Verification and Reliability 19 (2), pp.:155-172 (2009)
doi: 10.1002/stvr.399, Paper

SANchk: SQL-based SAN configuration checking
Eray Gençay, Carsten Sinz, Wolfgang Küchlin, Thorsten Schäfer:
IEEE Transactions on Network and Service Management, Volume: 5, Issue: 2, June, pp.: 91-104 (2008)
doi: 10.1109/TNSM.2008.021102

Towards SLA-based optimal workload distribution in SANs
Eray Gençay, Carsten Sinz, Wolfgang Küchlin:
(IEEE/IFIP) Network Operations and Management Symposium: Pervasive Management for Ubioquitous Networks and Services, (NOMS), 7-11 April 2008, Salvador, Bahia, Brazil, pp.: 755-758 (2008)
doi: 10.1109/NOMS.2008.4575206

Integrated Static Analysis for Linux Device Driver Verification
Hendrik Post, Wolfgang Küchlin
Integrated Formal Methods, 6th International Conference, (IFM) 2007, Oxford, UK, July 2-5, 2007, Proceedings, pp.: 518-537, (2007)
doi: 10.1007/978-3-540-73210-5\_27

SANchk: An SQL-Based Validation System for SAN Confiuration
Eray Gençay, Wolfgang Küchlin, Thorsten Schäfer
Integrated Network Management, (IM) 2007
10th (IFIP/IEEE) International Symposium on Integrated Network Management, Munich, Germany, 21-25 May, 2007, pp.: 333-342, (2007)
doi: 10.1109/INM.2007.374798

Checking Consistency and Completeness of On-Line Product Manuals
Carsten Sinz, Wolfgang Küchlin, Dieter Feichtinger, Georg Görtler
Journal of Automated Reasoning, August 2006, Volume 37, Issue 1–2, pp.: 45–66(2006)
doi: 10.1007/s10817-006-9037-y, Paper:

Canonical Hardware Representation Using Gröbner Bases
Wolfgang Küchlin
Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany, pp.: 147-154 (2005)

ZetaSAT - Boolean SATisfiability solving on Desktop Grids
Wolfgang Blochinger, W. Westje, Wolfgang Küchlin, Sebastian Wedeniwski
5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 9-12 May, 2005, Cardiff, (UK), pp.: 1079-1086, (2005)
doi: 10.1109/CCGRID.2005.1558680

MIN-Multimediale Module für Mathematik in Informatik und Naturwissenschaften
Michael Grossmann, Wolfgang Küchlin
DeLFI 2005: 3. Deutsche e-Learning Fachtagung Informatik, der Gesellschaft für Informatik e.V. (GI), 13.-16. September 2005 in Rostock, pp.: 201-212 (2005)
Paper:

Mathematik für Informatik und BioInformatik
Manfred P. H. Wolff, Peter Hauck, Wolfgang Küchlin
Springer 2004, ISBN 978-3-540-20521-0, pp. I-XVIII, 1-516 (2004)
doi: 10.1007/3-540-35003-9

Michael Friedrich, Kirsten Terfloth, Gerd Nusser, Wolfgang Küchlin
Mobile Agents: A Construction Kit for Mobile Device Applications
in: Proceedings of the International Conference on Internet Computing, (IC) '04, Las Vegas, Nevada, USA, June 21-24, 2004, Volume 1, pp.:186-194 (2004)

Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs
Carsten Sinz, Wolfgang Küchlin
in: Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, pp.: 391-402 (2004)
doi: 10.1007/978-3-540-30482-1\_33, Paper:

Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract)
Carsten Sinz, Wolfgang Küchlin
(SAT) The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings (2004)  Paper:

Einführung in die Informatik - objektorientiert mit Java (2. Aufl.)
Wolfgang Küchlin, Andreas Weber
Springer-Lehrbuch, Springer (2003)
ISBN 978-3-540-43608-9, pp. I-XVIII, 1-440

Formal methods for the validation of automotive product configuration data
Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin
Artificial Intelligence for Engineering Design, Analysis and Manufacturing (17/1), pp.:75-97 (2003)
doi: 10.1017/S0890060403171065, Paper:

Parallel propositional satisfiability checking with distributed dynamic learning
Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin
Parallel Computing 29 (7): pp.: 969-994 (2003)
doi:10.1016/S0167-8191(03)00068-1, Paper:

The Design of an API for Strict Multithreading in C++
Wolfgang Blochinger, Wolfgang Küchlin
Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003. Proceedings, pp.: 722-731 (2003)
doi: 10.1007/978-3-540-45209-6\_101

A Universal Parallel SAT Checking Kernel
Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin:
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, (PDPTA) '03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 4, pp.:1720-1725 (2003)

Verifying CIM Models of Apache Web-Server Configurations
Carsten Sinz, Amir Khosravizadeh, Wolfgang Küchlin, Viktor Mihajlovski
3rd International Conference on Quality Software (QSIC) 2003, 6-7 November, Dallas, TX, USA, pp.: 290-297 (2003)
doi: 10.1109/QSIC.2003.1319113

Detection of dynamic execution errors in IBM system automation's rule-based expert system
Carsten Sinz, Thomas Lumpp, Jürgen M. Schneider, Wolfgang Küchlin
Information & Software Technology 44 (14), pp.: 857-873 (2002)
doi: 10.1016/S0950-5849(02)00120-9, Paper:

Living Documents - Micro Servers for Documents
Ralf-Dieter Schimkat, Wolfgang Küchlin
XML-Based Data Management and Multimedia Engineering - (EDBT) 2002 Workshops, Revised Papers, pp.: 512-525
doi: 10.1007/3-540-36128-6\_32

Maintenance of Distributed Systems with Mobile Agents
Michael Friedrich, Gerd Nusser, Wolfgang Küchlin
18th International Conference on Software Maintenance {(ICSM} 2002), Maintaining Distributed Heterogeneous Systems, 3-6 October 2002,
Montreal, Quebec, Canada, pp.: 659-666
doi: 10.1109/ICSM.2002.1167830

Living Hypertext - Web Retrieval Techniques for Traditional Database-Centric Information
Ralf-Dieter Schimkat, Wolfgang Küchlin, Frank Nestel
Innovative Internet Computing Systems, Second International Workshop, {IICS} 2002, K{\"{u}}hlungsborn, Germany, June 20-22, 2002, Proceedings, pp.: 1-14 (2002)
doi: 10.1007/3-540-48080-3\_1

PaSAT - Parallel SAT-Checking with Lemma Exchange: Implementation and Applications
Carsten Sinz, Wolfgang Blochinger, Wolfgang Küchlin
Electronic Notes in Discrete Mathematics 9, pp.: 205-216 (2001)
doi: 10.1016/S1571-0653(04)00323-3, Paper:

Towards a Verification of the Rule-Based Expert System of the IBM SA for OS/390 Automation Manager
Carsten Sinz, Wolfgang Küchlin, Thomas Lumpp
2nd Asia-Pacific Conference on Quality Software (APAQS} 2001, 10-11 December 2001, Hong Kong, China, Proceedings, pp.: 367-374 (2001)
doi:10.1109/APAQS.2001.990042

Deploying Distributed State Information in Mobile Agent Systems
Ralf-Dieter Schimkat, Michael Friedrich, Wolfgang Küchlin
Cooperative Information Systems, 9th International Conference, CoopIS 2001, Trento, Italy, September 5-7, 2001, Proceedings, pp.: 80-94 (2001)
doi: 10.1007/3-540-44751-2\_8

Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking
Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin
Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, May 21-23, 2001, Key West, Florida, (USA),
pp.: 645-649 (2001)

Flexible Similarity Assessment for XML Documents Based on XQL and Java Reflection
Dieter Bühler, Wolfgang Küchlin
Engineering of Intelligent Systems, 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, (IEA/AIE) 2001, Budapest, Hungary, June 4-7, 2001, Proceedings, pp.: 175-186 (2001)
doi:10.1007/3-540-45517-5\_21

Automotive Product Documentation
Andreas Kaiser, Wolfgang Küchlin
Engineering of Intelligent Systems, 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, (IEA/AIE) 2001, Budapest, Hungary, June 4-7, 2001, Proceedings, pp.: 465-475
doi: 10.1007/3-540-45517-5\_51

The Java Fieldbus Control Framework-Object Oriented Control of Fieldbus Devices
Dieter Bühler, Wolfgang Küchlin, Gerd Nusser, Gerhard Gruhler
4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2-4 May 2001, Magdeburg, Germany, pp.:153-
doi: 10.1109/ISORC.2001.922831

Combining Parallel and Distributed Search in Automated Equational Deduction
Carsten Sinz, Jörg Denzinger, Jürgen Avenhaus, Wolfgang Küchlin
Parallel Processing and Applied Mathematics, 4th International Conference, (PPAM 2001) Naleczow, Poland, September 9-12, 2001, Revised Papers, pp.: 819-832
doi: 10.1007/3-540-48086-2\_92

Proving Consistency Assertions for Automotive Product Data Management
Wolfgang Küchlin, Carsten Sinz:
Journal of Automated Reasoning 24 (1/2), pp.: 145-163 (2000)
doi: 10.1023/A:1006370506164,

The Virtual Automation Lab - Web Based Teaching of Automation Engineering Concepts
Dieter Bühler, Wolfgang Küchlin, Gerhard Gruhler, Gerd Nusser
7th IEEEInternational Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, (UK),
pp.:156-164
doi: 10.1109/ECBS.2000.839873

A Service-Based Agent Framework for Distributed Symbolic Computation
Ralf-Dieter Schimkat, Wolfgang Blochinger, Carsten Sinz, Michael Friedrich, Wolfgang Küchlin
High-Performance Computing and Networking, 8th International Conference, {HPCN} Europe 2000, Amsterdam, The Netherlands, May 8-10, 2000, Proceedings,
pp.: 644-656
doi: 10.1007/3-540-45492-6\_80

A Lightweight, Message-Oriented Application Server for the WWW
Ralf-Dieter Schimkat, Stefan Müller, Wolfgang Küchlin:
Applied Computing 2000, Proceedings of the 2000 (ACM) Symposium on Applied Computing, Villa Olmo, Via Cantoni 1, 22100 Como, Italy, March 19-21, 2000. Volume 2, pp.: 934-941
doi: 10.1145/338407.338694,  Paper:

Parallel Computer Algebra Software as a Web Component
Andreas Weber, Wolfgang Küchlin, Bernhard Eggers
Concurrency - Practice and Experience 10(11-13): pp.: 1179-1188 (1998)
doi: 10.1002/(SICI)1096-9128(199809/11)10:11/13\<1179::AID-CPE407\>3.0.CO;2-8, Paper:

Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip
Alfons Geser, Wolfgang Küchlin
International Workshop on Current Trends in Applied Formal Methods, FM-Trends 1998, Boppard, Germany, October 7-9, 1998, Proceedings, pp.: 92-106
doi:10.1007/3-540-48257-1\_5

The Distributed Object-Oriented Threads System DOTS.
Wolfgang Blochinger, Wolfgang Küchlin, Andreas Weber
Solving Irregularly Structured Problems in Parallel, 5th International Symposium, IRREGULAR '98, Berkeley, California, USA, August 9-11, 1998, Proceedings, pp.:206-217
doi: 10.1007/BFb0018540

On the Walk
Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin
Theoretical Computer Science 187 (1-2), pp.: 179-202 (1997)
doi: 10.1016/S0304-3975(97)00064-9, Paper:

HighRobot: Distributed Objekt-Oriented Real-Time Systems
Wolfgang Küchlin, Gerhard Gruhler, Andreas Speck, Thomas Lumpp
Architektur von Rechensystemen, Arbeitsteilige Systemarchitekturen: Konzepte, Lösungen, Anwendungen, Trends - Vorträge der 14. ITG/GI-Fachtagung (ARCS) '97, 8.-11. September 1997, Rostock, Germany , pp.: 95-104 (1997)

HighRobot: a high-performance universal robot control on parallel workstations
Wolfgang Küchlin, Gerhard Gruhler, Thomas Lumpp, Andreas Speck
Workshop on Engineering of Computer-Based Systems (ECBS '97), March 24-28, 1997, Monterey, CA, (USA), pp.: 444-451 (1997)
doi: 10.1109/ECBS.1997.581927

Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC '97
Maui, Hawaii, USA, July 21-23, 1997. ACM 1997, ISBN 0-89791-875-4

Strategy Compliant Multi-Threaded Term Completion
Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
Journal of Symbolic Computation 21(4), pp.: 475-505 (1996)
doi: 10.1006/jsco.1996.0027, Paper:

Walking Faster
Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin
Design and Implementation of Symbolic Computation Systems, International Symposium, (DISCO '96), Karlsruhe, Germany, September 18-20, 1996, Proceedings,
pp: 150-161 (1996)
doi: 10.1007/3-540-61697-7\_14

A Master-Slave Approach to Parallel Term Rewriting on a Hierarchical Multiprocessor
Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin:
Design and Implementation of Symbolic Computation Systems, International Symposium, (DISCO '96), Karlsruhe, Germany, September 18-20, 1996, Proceedings, pp.:183-194
doi: 10.1007/3-540-61697-7\_17

Verification of the Sparrow Processor
Reinhard Bündgen, Wolfgang Küchlin, Werner Lauterbach
IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), March 11-15, 1996, Friedrichshafen, Germany, p.: 86
doi: 10.1109/ECBS.1996.494515

A Case Study of Multi-Threaded Gröbner Basis Completion
Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin:
Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996, pp.: 95-102
doi: 10.1145/236869.236908, Paper:

Distributed Symbolic Computation with DTS
Till Bubeck, M. Hiller, Wolfgang Küchlin, Wolfgang Rosenstiel:
Parallel Algorithms for Irregularly Structured Problems, Second International Workshop, (IRREGULAR '95), Lyon, France, September 4-6, 1995, Proceedings, pp.:231-248
doi: 10.1007/3-540-60321-2\_19

Parallel ReDuX -> PaReDuX
Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings, pp.: 408-413
doi: 10.1007/3-540-59200-8\_74

A Fine-Grained Parallel Completion Procedure
Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
Proceedings of the International Symposium on Symbolic and Algebraic Computation, (ISSAC '94), Oxford, UK, July 20-22, 1994, pp.: 269-277
doi: 10.1145/190347.190427

Experiments with Virtual C Threads
Wolfgang Küchlin, Jeffrey A. Ward
Proceedings of the Fourth (IEEE) Symposium on Parallel and Distributed Processing, {SPDP} 1992, Arlington, Texas, USA, December 1-4, 1992, pp.: 50-55
doi: 10.1109/SPDP.1992.242764

Integer Multiplication in PARSAC-2 on Stock Microprocessors
Wolfgang Küchlin, David Lutz, Nicholas J. Nevin
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 9th International Symposium, AAECC-9, New Orleans, LA, USA, October 7-11, 1991, Proceedings,
pp.: 206-217
doi: 10.1007/3-540-54522-0\_109

On the Multi-Threaded Computation of Modular Polynomial Greatest Common Divisors
Wolfgang Küchlin
Parallel Computation, First International ACPC Conference, Salzburg, Austria, September 30 - October 2, 1991, Proceedings, pp.: 369-384
doi: 10.1007/3-540-55437-8\_93

A space-efficient parallel garbage compaction algorithm
Wolfgang Küchlin
Proceedings of the 5th international conference on Supercomputing, {ICS} 1991, Cologne, Germany, June 17-21, 1991, pp.: 40-46
doi: 10.1145/109025.109039,

On the Multi-Threaded Computation of Integral Polynomial Greatest Common Divisors
Wolfgang Küchlin
Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, (ISSAC '91), Bonn, Germany, July 15-17, 1991, pp.: 333-342
doi: 10.1145/120694.120747

On multi-threaded list-processing and garbage collection
Wolfgang Küchlin, Nicholas J. Nevin
Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, (SPDP 1991), 2-5 December 1991, Dallas, Texas, (USA), pp.: 894-897
doi: 10.1109/SPDP.1991.218226

PARSAC-2: A Parallel SAC-2 Based on Threads
Wolfgang Küchlin
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 8th International Symposium, AAECC-8, Tokyo, Japan, August 20-24, 1990, Proceedings, pp.:  341-353
doi: 10.1007/3-540-54195-0\_63

The S-Threads Environment for Parallel Symbolic Computation
Wolfgang Küchlin
Computer Algebra and Parallelism, Second International Workshop, Ithaca, USA, May 9-11, 1990, pp.: 1-18
doi: 10.1007/3-540-55328-2\_1

Parallel Real Root Isolation Using the Coefficient Sign Variation Method
George E. Collins, Jeremy R. Johnson, Wolfgang Küchlin
Computer Algebra and Parallelism, Second International Workshop, Ithaca, USA, May 9-11, 1990, pp.: 71-87
doi: 10.1007/3-540-55328-2\_6

Computing Ground Reducability and Inductively Complete Positions
Reinhard Bündgen, Wolfgang Küchlin
Rewriting Techniques and Applications, 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings,
pp.: 59-75
doi: 10.1007/3-540-51081-8\_100

Public key encryption
Wolfgang Küchlin
ACM SIGSAM Bulletin 21(3): pp.: 69-73 (1987)
doi: 10.1145/29309.29320

Equational Completion by Proof Simplification
Wolfgang Küchlin:
ETH Zurich, Zürich, Switzerland 1986, pp. 1-40

Paper

A Confluence Criterion Based on the Generalised Neman Lemma
Wolfgang Küchlin
EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions, pp.: 390-399
doi: 10.1007/3-540-15984-3\_294

Some reduction strategies for algebraic term rewriting
Wolfgang Küchlin
ACM SIGSAM Bulletin 16(4), pp.: 13-23 (1982)
doi:  10.1145/1089310.1089315

A Theorem-Proving Approach to the Knuth-Bendix Completion Algorithm
Wolfgang Küchlin
Computer Algebra, (EUROCAM '82), European Computer Algebra Conference, Marseille, France, 5-7 April, 1982, Proceedings, pp.: 101-108
doi: 10.1007/3-540-11607-9\_12