Martin Robinson, Kurt Kubik, Brian C. Lovell. A First Order Predicate Logic Formulation Of The 3d Reconstruction Problem And Its Solution Space. IJPRAI, 19(1):45-62, 2005. [doi]
@article{RobinsonKL05,
title = {A First Order Predicate Logic Formulation Of The 3d Reconstruction Problem And Its Solution Space},
author = {Martin Robinson and Kurt Kubik and Brian C. Lovell},
year = {2005},
doi = {10.1142/S0218001405003910},
url = {http://dx.doi.org/10.1142/S0218001405003910},
tags = {C++, logic},
researchr = {https://researchr.org/publication/RobinsonKL05},
cites = {0},
citedby = {0},
journal = {IJPRAI},
volume = {19},
number = {1},
pages = {45-62},
}