TY - RPRT TI - A Plausible Logic Inference Engine. AU - Stracuzzi, David John PY - 2011 UR - https://www.osti.gov/biblio/1118573 ID - 1118573 ER -