Andrea Asperti, Enrico Tassi. An Interactive Driver for Goal-directed Proof Strategies. Electronic Notes in Theoretical Computer Science, 226:89-105, 2009. [doi]
@article{AspertiT09,
title = {An Interactive Driver for Goal-directed Proof Strategies},
author = {Andrea Asperti and Enrico Tassi},
year = {2009},
doi = {10.1016/j.entcs.2008.12.099},
url = {http://dx.doi.org/10.1016/j.entcs.2008.12.099},
researchr = {https://researchr.org/publication/AspertiT09},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {226},
pages = {89-105},
}