Antoni Ligeza. Dynamic Backward Reasoning Systems. Artificial Intelligence, 43(2):127-152, 1990.
@article{Ligeza90, title = {Dynamic Backward Reasoning Systems}, author = {Antoni Ligeza}, year = {1990}, researchr = {https://researchr.org/publication/Ligeza90}, cites = {0}, citedby = {0}, journal = {Artificial Intelligence}, volume = {43}, number = {2}, pages = {127-152}, }