@article{oai:kitami-it.repo.nii.ac.jp:00007953,
 author = {Miura, Katsunori and Akama, Kiyoshi},
 issue = {6},
 journal = {International Journal of Innovative Computing, Information and Control},
 month = {Dec},
 pages = {1999--2009},
 title = {ET-Based Bidirectional Search for Proving Formulas in the Class ES},
 volume = {10},
 year = {2014}
}