@article{75aad09635e14eb6968ebdfc30fe72f4,
title = "Preface empirically successful first order reasoning",
keywords = "Empirical, First-order, Reasoning, Theorem proving",
author = "Stephan Schulz and Geoff Sutcliffe and Tanel Tammet",
year = "2006",
month = feb,
day = "1",
doi = "10.1142/S0218213006002539",
language = "English (US)",
volume = "15",
pages = "1--2",
journal = "International Journal on Artificial Intelligence Tools",
issn = "0218-2130",
publisher = "World Scientific Publishing Co. Pte Ltd",
number = "1",
}