An implementation of tautological analysis of some three-valued logic

Author: D. Rogulski, J. Wesserling, J. Mulawka
Conference: Title