draining

lib/kbibs/extpubs.bib

@@ -42160,6 +42160,26 @@ crossref = {SEPUBLICA14},
   url       = {http://imps.mcmaster.ca/doc/calculus.pdf}
 }
+@article{coen2007note,
+  title={A Note on Formalising Undefined Terms in Real Analysis},
+  author={Claudio Sacerdoti Coen and Enrico Zoli},
+  journal={PATE’07},
+  pages={3},
+  year={2007},
+  publisher={Citeseer}
+}
+
+@article{feferman1995definedness,
+  title={Definedness},
+  author={Solomon Feferman},
+  journal={Erkenntnis},
+  volume={43},
+  number={3},
+  pages={295--320},
+  year={1995},
+  publisher={Springer}
+}
+
 @techreport{OntoIOp-RFP,
 institution = {Object Management Group},
 title = {Ontology, Model and Specification Integration and Interoperability (OntoIOp)},