NUMAO Masayuki, MORISHITA Shin-ichi, HIROSE Shin-ichi "Free-Boolean Valued Logic Programming Language and Its Application to Hypothetical Inference"
(1986)
Languages mentioned
ProBoole
{1987}