@article{BSL9_4_McRobbie_Thistlewaite_Meyer,
author = {Michael A. MCROBBIE and Paul B. THISTLEWAITE and Robert K. MEYER},
title = {A Mechanized Decision Procedure For Non-Classical Logics: The Program KRIPKE (Abstract)},
journal = {Bulletin of the Section of Logic},
volume = {9},
number = {4},
year = {1980},
pages = {189--192}
}