@inproceedings{conf/saicsit/MokwanaP15,
  added-at = {2015-12-29T00:00:00.000+0100},
  author = {Mokwana, Mapetlwane Litha and van der Poll, John Andrew},
  biburl = {http://www.bibsonomy.org/bibtex/29d221a468c488ca43cd5a2a0503855af/dblp},
  booktitle = {SAICSIT Conf.},
  crossref = {conf/saicsit/2015},
  editor = {Barnett, Richard J. and Cleophas, Loek G. and Kourie, Derrick G. and le Roux, Daniel B. and Watson, Bruce W.},
  ee = {http://doi.acm.org/10.1145/2815782.2815823},
  interhash = {6154fe237caa9ad2b75f9f328d4c2b49},
  intrahash = {9d221a468c488ca43cd5a2a0503855af},
  isbn = {978-1-4503-3683-3},
  keywords = {dblp},
  pages = 29,
  publisher = {ACM},
  timestamp = {2015-12-30T11:35:14.000+0100},
  title = {Evaluating Resolution-Based Reasoning Heuristics for Connection Tableau.},
  url = {http://dblp.uni-trier.de/db/conf/saicsit/saicsit2015.html#MokwanaP15},
  year = 2015
}

{"_id":"TDQsu9EJQNWRcoNGN","bibbaseid":"mokwana-vanderpoll-evaluatingresolutionbasedreasoningheuristicsforconnectiontableau-2015","downloads":0,"creationDate":"2016-01-08T22:33:19.871Z","title":"Evaluating Resolution-Based Reasoning Heuristics for Connection Tableau.","author_short":["Mokwana, M. L.","van der Poll, J. A."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/john m peloquin?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2015-12-29T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Mokwana"],"firstnames":["Mapetlwane","Litha"],"suffixes":[]},{"propositions":["van","der"],"lastnames":["Poll"],"firstnames":["John","Andrew"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/29d221a468c488ca43cd5a2a0503855af/dblp","booktitle":"SAICSIT Conf.","crossref":"conf/saicsit/2015","editor":[{"propositions":[],"lastnames":["Barnett"],"firstnames":["Richard","J."],"suffixes":[]},{"propositions":[],"lastnames":["Cleophas"],"firstnames":["Loek","G."],"suffixes":[]},{"propositions":[],"lastnames":["Kourie"],"firstnames":["Derrick","G."],"suffixes":[]},{"propositions":["le"],"lastnames":["Roux"],"firstnames":["Daniel","B."],"suffixes":[]},{"propositions":[],"lastnames":["Watson"],"firstnames":["Bruce","W."],"suffixes":[]}],"ee":"http://doi.acm.org/10.1145/2815782.2815823","interhash":"6154fe237caa9ad2b75f9f328d4c2b49","intrahash":"9d221a468c488ca43cd5a2a0503855af","isbn":"978-1-4503-3683-3","keywords":"dblp","pages":"29","publisher":"ACM","timestamp":"2015-12-30T11:35:14.000+0100","title":"Evaluating Resolution-Based Reasoning Heuristics for Connection Tableau.","url":"http://dblp.uni-trier.de/db/conf/saicsit/saicsit2015.html#MokwanaP15","year":"2015","bibtex":"@inproceedings{conf/saicsit/MokwanaP15,\n added-at = {2015-12-29T00:00:00.000+0100},\n author = {Mokwana, Mapetlwane Litha and van der Poll, John Andrew},\n biburl = {http://www.bibsonomy.org/bibtex/29d221a468c488ca43cd5a2a0503855af/dblp},\n booktitle = {SAICSIT Conf.},\n crossref = {conf/saicsit/2015},\n editor = {Barnett, Richard J. and Cleophas, Loek G. and Kourie, Derrick G. and le Roux, Daniel B. and Watson, Bruce W.},\n ee = {http://doi.acm.org/10.1145/2815782.2815823},\n interhash = {6154fe237caa9ad2b75f9f328d4c2b49},\n intrahash = {9d221a468c488ca43cd5a2a0503855af},\n isbn = {978-1-4503-3683-3},\n keywords = {dblp},\n pages = 29,\n publisher = {ACM},\n timestamp = {2015-12-30T11:35:14.000+0100},\n title = {Evaluating Resolution-Based Reasoning Heuristics for Connection Tableau.},\n url = {http://dblp.uni-trier.de/db/conf/saicsit/saicsit2015.html#MokwanaP15},\n year = 2015\n}\n\n","author_short":["Mokwana, M. L.","van der Poll, J. A."],"editor_short":["Barnett, R. J.","Cleophas, L. G.","Kourie, D. G.","le Roux, D. B.","Watson, B. W."],"key":"conf/saicsit/MokwanaP15","id":"conf/saicsit/MokwanaP15","bibbaseid":"mokwana-vanderpoll-evaluatingresolutionbasedreasoningheuristicsforconnectiontableau-2015","role":"author","urls":{"Link":"http://doi.acm.org/10.1145/2815782.2815823","Paper":"http://dblp.uni-trier.de/db/conf/saicsit/saicsit2015.html#MokwanaP15"},"keyword":["dblp"],"downloads":0},"search_terms":["evaluating","resolution","based","reasoning","heuristics","connection","tableau","mokwana","van der poll"],"keywords":["dblp"],"authorIDs":[],"dataSources":["7iBjTDWSdK27C35dP"]}