@misc{indiciae52c412b2de61,
  title = {A Plausible Logic Inference Engine.},
  author = {Stracuzzi, David John},
  year = {2011},
  url = {https://www.osti.gov/biblio/1118573},
  note = {Source identifier: 1118573}
}