George K. Papakonstantinou, T. Panayiotopoulos. A full theorem-prover under uncertainty. Journal of Intelligent and Robotic Systems, 7(2):139-149, 1993. [doi]
@article{PapakonstantinouP93, title = {A full theorem-prover under uncertainty}, author = {George K. Papakonstantinou and T. Panayiotopoulos}, year = {1993}, doi = {10.1007/BF01257816}, url = {http://dx.doi.org/10.1007/BF01257816}, researchr = {https://researchr.org/publication/PapakonstantinouP93}, cites = {0}, citedby = {0}, journal = {Journal of Intelligent and Robotic Systems}, volume = {7}, number = {2}, pages = {139-149}, }