Representation, Verification, and Visualization of
Tarskian Interpretations for Typed First-order Logic

by
Alexander Steen University of Greifswald, Germany	Geoff Sutcliffe University of Miami, USA
Pascal Fontaine University of Liège, Germany	Jack McKeown University of Miami, USA