@techreport{freek2008c,
	Author = {Cezary Kaliszyk, Femke van Raamsdonk and Freek Wiedijk and  H. Wupper and M. Hendriks and R. de Vrijer},
	Date-Added = {2014-11-16 22:32:51 +0000},
	Date-Modified = {2014-11-16 22:34:56 +0000},
	Institution = {Radboud University Nijmegen},
	Number = {ICIS-R08016},
	Title = {Deduction using the ProofWeb system},
	Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/proofweb-manual.pdf},
	Year = {2008}}

{"_id":"dAGLjXSNTTXHaSyx4","bibbaseid":"cezarykaliszyk-wiedijk-wupper-hendriks-devrijer-deductionusingtheproofwebsystem-2008","author_short":["Cezary Kaliszyk, F. v. R.","Wiedijk, F.","Wupper, H.","Hendriks, M.","de Vrijer, R."],"bibdata":{"bibtype":"techreport","type":"techreport","author":[{"propositions":[],"lastnames":["Cezary","Kaliszyk"],"firstnames":["Femke","van","Raamsdonk"],"suffixes":[]},{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]},{"firstnames":["H."],"propositions":[],"lastnames":["Wupper"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Hendriks"],"suffixes":[]},{"firstnames":["R."],"propositions":["de"],"lastnames":["Vrijer"],"suffixes":[]}],"date-added":"2014-11-16 22:32:51 +0000","date-modified":"2014-11-16 22:34:56 +0000","institution":"Radboud University Nijmegen","number":"ICIS-R08016","title":"Deduction using the ProofWeb system","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/proofweb-manual.pdf","year":"2008","bibtex":"@techreport{freek2008c,\n\tAuthor = {Cezary Kaliszyk, Femke van Raamsdonk and Freek Wiedijk and H. Wupper and M. Hendriks and R. de Vrijer},\n\tDate-Added = {2014-11-16 22:32:51 +0000},\n\tDate-Modified = {2014-11-16 22:34:56 +0000},\n\tInstitution = {Radboud University Nijmegen},\n\tNumber = {ICIS-R08016},\n\tTitle = {Deduction using the ProofWeb system},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/proofweb-manual.pdf},\n\tYear = {2008}}\n\n","author_short":["Cezary Kaliszyk, F. v. R.","Wiedijk, F.","Wupper, H.","Hendriks, M.","de Vrijer, R."],"key":"freek2008c","id":"freek2008c","bibbaseid":"cezarykaliszyk-wiedijk-wupper-hendriks-devrijer-deductionusingtheproofwebsystem-2008","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/proofweb-manual.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"techreport","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["deduction","using","proofweb","system","cezary kaliszyk","wiedijk","wupper","hendriks","de vrijer"],"title":"Deduction using the ProofWeb system","year":2008}