According to our database1, Werner Kernig authored at least 3 papers between 1992 and 1993.
Legend:Book In proceedings Article PhD thesis Other
Verification of Switch-Level Designs with Many-Valued Logic.
Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993
The Many-Valued Theorem Prover 3TAP.
IWBS Report, 1992
The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics.
Proceedings of the Automated Deduction, 1992