@PHDTHESIS{Campos99, author = {J. C. Campos}, title = {Automated Deduction and Usability Reasoning}, school = {Department of Computer Science, University of York}, year = {1999}, type = {DPhil thesis}, note = {Also available as Technical Report YCST 2000/9, Department of Computer Science, University of York}, paperurl = {http://www.cs.york.ac.uk/ftpdir/reports/2000/YCST/09/YCST-2000-09.pdf} }
Generated by mkBiblio 2.6.26