The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "TABLEAUX"( http://dblp.L3S.de/Venues/TABLEAUX )

URL (DBLP): http://dblp.uni-trier.de/db/conf/tableaux

Publication years (Num. hits)
1992 (29) 1995 (24) 1996 (21) 1997 (27) 1998 (32) 1999 (29) 2000 (35) 2002 (25) 2003 (24) 2005 (30) 2007 (20) 2009 (25) 2011 (22) 2013 (24) 2015 (24) 2017 (23)
Publication types (Num. hits)
inproceedings(398) proceedings(16)
Venues (Conferences, Journals, ...)
TABLEAUX(414)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 11 keywords

Results
Found 414 publication records. Showing 414 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Dmitry Tishkovsky, Renate A. Schmidt Rule Refinement for Semantic Tableau Calculi. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anupam Das 0002, Damien Pous A Cut-Free Cyclic Proof System for Kleene Algebra. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Liron Cohen 0001 Completeness for Ancestral Logic via a Computationally-Meaningful Semantics. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lee A. Barnett Goal-Sensitive Reasoning with Disconnection Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jeremy E. Dawson, Rajeev Goré Issues in Machine-Checking the Decidability of Implicational Ticket Entailment. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1David M. Cerna, Michael Peter Lettmann Integrating a Global Induction Mechanism into a Sequent Calculus. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wolfgang Bibel A Vision for Automated Deduction Rooted in the Connection Method. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Peter Baumgartner 0001, Sylvie Thiébaux, Felipe W. Trevizan Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christian G. Fermüller, Timo Lang Interpreting Sequent Calculi as Client-Server Games. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mateus de Oliveira Oliveira Parameterized Provability in Equational Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Camillo Fiorentini, Mauro Ferrari A Forward Unprovability Calculus for Intuitionistic Propositional Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ori Lahav, Yoni Zohar Cut-Admissibility as a Corollary of the Subformula Property. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jens Otten Non-clausal Connection Calculi for Non-classical Logics. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Reuben N. S. Rowe, James Brotherston Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Katalin Bimbó On the Decidability of Certain Semi-Lattice Based Modal Logics. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Renate A. Schmidt, Cláudia Nalon (eds.) Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sorin Stratulat Cyclic Proofs with Ordering Constraints. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Peter H. Schmitt A Mechanizable First-Order Theory of Ordinals. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Serenella Cerrito, Amélie David 0001 Minimisation of ATL ^* Models. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sonia Marin, Lutz Straßburger Proof Theory for Indexed Nested Sequents. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Annemarie Borg, Roman Kuznets Realization Theorems for Justification Logics: Full Modularity. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Guillaume Bury, David Delahaye Integrating Simplex with Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zakaria Chihani, Tomer Libal, Giselle Reis The Proof Certifier Checkers. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Taus Brock-Nannestad, Kaustuv Chaudhuri Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Roy Dyckhoff Invited Talk: Coherentisation of First-Order Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicola Olivetti, Gian Luca Pozzato A Standard Internal Calculus for Lewis' Counterfactual Logics. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann Mīmāṃsā Deontic Logic: Proof Theory and Applications. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Richard Bubel, Crystal Chang Din, Reiner Hähnle, Keiko Nakata 0001 A Dynamic Logic with Traces and Coinduction. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1John Christopher McCabe-Dansted, Mark Reynolds A Tableau for Bundled Strategies. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cezary Kaliszyk Efficient Low-Level Connection Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Peter Backeman, Philipp Rümmer Efficient Algorithms for Bounded Rigid E-unification. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ullrich Hustadt, Paul Gainer, Clare Dixon, Cláudia Nalon, Lan Zhang Ordered Resolution for Coalition Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christoph Wernhard Second-Order Quantifier Elimination on Relational Monadic Formulas - A Basic Method and Some Less Expected Applications. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mauro Ferrari, Camillo Fiorentini Proof-Search in Natural Deduction Calculus for Classical Propositional Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Valentin Cassano, Carlos Gustavo López Pombo, Thomas Stephen Edward Maibaum A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1James Brotherston, Nikos Gorogiannis Disproving Inductive Entailments in Separation Logic via Base Pair Approximation. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexander K. Hudek, David Toman, Grant E. Weddell On Enumerating Query Plans Using Analytic Tableau. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Björn Lellmann Linear Nested Sequents, 2-Sequents and Hypersequents. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hans de Nivelle (eds.) Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Renate A. Schmidt, Uwe Waldmann Modal Tableau Systems with Blocking and Congruence Closure. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sara Negri, Nicola Olivetti A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cláudia Nalon, Ullrich Hustadt, Clare Dixon A Modal-Layered Resolution Calculus for K. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Amélie David 0001 TATL: Implementation of ATL Tableau-Based Decision Procedure. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Agata Ciabattoni, Paolo Maffezioli, Lara Spendier Hypersequent and Labelled Calculi for Intermediate Logics. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ming Zuo, Volker Haarslev Intelligent Tableau Algorithm for DL Reasoning. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sara Negri On the Duality of Proofs and Countermodels in Labelled Sequent Calculi. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky A Refined Tableau Calculus with Controlled Blocking for the Description Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hendrik Tews Formalizing Cut Elimination of Coalgebraic Logics in Coq. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hidenori Kurokawa Prefixed Tableau Systems for Logic of Proofs and Provability. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Joseph Boudou, Bruno Woltzenlogel Paleo Compression of Propositional Resolution Proofs by Lowering Subproofs. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christoph Röthlisberger TAFA - A Tool for Admissibility in Finite Algebras. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tobias Nipkow, Maximilian P. L. Haslbeck A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Clark Barrett, Stéphane Demri, Morgan Deters Witness Runs for Counter Machines - (Abstract). Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Andreas Bauer 0002, Peter Baumgartner 0001, Martin Diller, Michael Norrish Tableaux for Verification of Data-Centric Processes. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ulrich Furbach, Claudia Schon Semantically Guided Evolution of ABoxes. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Stéphane Graham-Lengrand Psyche: A Proof-Search Engine Based on Sequent Calculus with an LCF-Style Architecture. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nick Bezhanishvili, Silvio Ghilardi Bounded Proofs and Step Frames. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds Model Checking General Linear Temporal Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nicolas Peltier Schemata of Formulæ in the Theory of Arrays. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Stefan Hetzl, Tomer Libal, Martin Riener, Mikheil Rukhaia Understanding Resolution Proofs through Herbrand's Theorem. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mauro Ferrari, Camillo Fiorentini, Guido Fiorino A Terminating Evaluation-Driven Variant of G3i. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Björn Lellmann, Dirk Pattinson Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zhe Hou, Alwen Tiu, Rajeev Goré A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, Dominique Larchey-Wendling (eds.) Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Ezequiel Orbe Dealing with Symmetries in Modal Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jens Otten A Non-clausal Connection Calculus. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi METTEL\textsc{Met\hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference Engine. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Maria Paola Bonacina, Moa Johansson On Interpolation in Decision Procedures. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1James Brotherston, Rajeev Goré Craig Interpolation in Displayable Logics. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mark Kaminski, Thomas Schneider 0002, Gert Smolka Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alwen Tiu A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Anupam Das 0002 On the Proof Complexity of Cut-Free Bounded Deep Inference. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kai Brünnler, George Metcalfe (eds.) Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Régis Alenda, Nicola Olivetti CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato A Tableau Calculus for a Nonmonotonic Extension of EL^\mathcal{EL}^\bot. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Björn Lellmann, Dirk Pattinson Cut Elimination for Shallow Modal Logics. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Agata Ciabattoni, Ori Lahav, Anna Zamansky Basic Constructive Connectives, Determinism and Matrix-Based Semantics. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Josef Urban, Jirí Vyskocil, Petr Stepánek MaLeCoP Machine Learning Connection Prover. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Oliver Friedmann, Martin Lange The Modal μ-Calculus Caught Off Guard. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kazushige Terui Proof Theory and Algebra in Substructural Logics. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Ruggero Lanotte Hybrid and First-Order Complete Extensions of CaRet. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Valerio Genovese, Laura Giordano 0001, Valentina Gliozzi, Gian Luca Pozzato A Conditional Constructive Logic for Access Control and Its Sequent Calculus. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ulrich Furbach First-Order Tableaux in Applications (Extended Abstract). Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Serenella Cerrito, Marta Cialdea Mayer A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Arnon Avron, Ori Lahav Kripke Semantics for Basic Sequent Systems. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vincent Aravantinos, Nicolas Peltier Schemata of SMT-Problems. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kai Brünnler, Lutz Straßburger Modular Sequent Systems for Modal Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Natthapong Jungteerapanich A Tableau System for the Modal µ-Calculus. Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Rajeev Goré, Linda Postniece, Alwen Tiu Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pierre Wolper On the Use of Automata for Deciding Linear Arithmetic. Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Giese, Arild Waaler (eds.) Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mark Kaminski, Sigurd Schneider, Gert Smolka Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies. Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Luís Pinto, Tarmo Uustalu Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents. Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 414 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license