Computer method of finding valuations forthing validity in LC formula

Author: Ł. Godlewski, K. Świętorzecka, J. Mulawka
Conference: Title