@article{32b43759ea40478aad6cd5e596ee9860,
title = "Intelligent Backtracking in Plan-Based Deduction",
keywords = "Automated deduction, backtracking, mechanical theorem proving",
author = "Stanislaw Matwin and Tomasz Pietrzykowski",
year = "1986",
month = nov,
doi = "10.1109/TPAMI.1985.4767724",
language = "English",
volume = "PAMI-7",
pages = "682--692",
journal = "IEEE Transactions on Pattern Analysis and Machine Intelligence",
issn = "0162-8828",
publisher = "IEEE Computer Society",
number = "6",
}