@misc{https://doi.org/10.4121/uuid:a06e90c7-9ca1-45df-ad37-e99bdbf75b78,
  doi = {10.4121/uuid:a06e90c7-9ca1-45df-ad37-e99bdbf75b78},
  url = {https://data.4tu.nl/articles/dataset/Coq_formalisation_of_Consistent_Consequence_for_Boolean_Equation_Systems/12709115/1},
  author = {Van Delft, M.E.C. (Myrthe) and Geuvers, J.H. (Herman) and Willemse, Tim},
  keywords = {Coq code, Fixpoint Logics, Interactive Theorem Proving, Logic},
  title = {Coq formalisation of Consistent Consequence for Boolean Equation Systems},
  publisher = {TU Eindhoven},
  year = {2017},
  copyright = {4TU General Terms of Use},
}