, Hao Wang, Routledge Kegan & Paul,June 1974 ISBN 978-0-7100-7689-2 A Logical Journey: From Gödel to Philosophy, Hao Wang, The MIT Press, 1997 ISBN 978-0-262-23189-3。
(页面存档备份,存于互联网档案馆) Figaro: Scala based MLN language (页面存档备份,存于互联网档案馆) LoMRF: Logical Markov Random Fields, an open-source implementation of Markov Logic Networks