According to our database1, Werner Kernig authored at least 3 papers between 1992 and 1993.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993
The Many-Valued Theorem Prover <sub>3</sub>T<sup>A</sup>P.
IWBS Report, 1992
Proceedings of the Automated Deduction, 1992