Chad E. Brown
6th International Joint Conference on Automated Reasoning (IJCAR 2012), pp. 111 -- 117, Springer, 2012
@CONFERENCE{Brown2012b,
title = {Satallax: An Automated Higher-Order Prover},
author = {Chad E. Brown},
year = {2012},
editor = {Bernhard Gramlich, Dale Miller, Ulrike Sattler},
publisher = {Springer},
booktitle = {6th International Joint Conference on Automated Reasoning (IJCAR 2012)},
pages = {111 -- 117},
note = {Accepted},
}
