@misc{indiciaefb92d886678d, title = {Panelist position statement: logic and models in computer science.}, author = {Ursula Martin}, year = {2005}, doi = {10.1098/rsta.2005.1654}, url = {https://pubmed.ncbi.nlm.nih.gov/16188614/}, note = {Source identifier: 16188614} }