@InProceedings{Schroeder-Heister1994,
		  author    = {Schroeder-Heister, Peter},
		    title     = {Definitional reflection and the completion},
			  booktitle = {Extensions of Logic Programming: 4th International Workshop, ELP '93 St Andrews, U.K., March 29--April 1, 1993 Proceedings},
			    year      = {1994},
				  editor    = {Dyckhoff, Roy},
				    pages     = {333--347},
					  address   = {Berlin, Heidelberg},
					    publisher = {Springer Berlin Heidelberg},
						_bla_doi       = {10.1007/3-540-58025-5_65},
						_bla_isbn      = {978-3-540-48417-2},
						 _bla_url       = {https://doi.org/10.1007/3-540-58025-5_65},
}

{"_id":"GXEJb8Eaey3nbh7Cg","bibbaseid":"schroederheister-definitionalreflectionandthecompletion-1994","authorIDs":[],"author_short":["Schroeder-Heister, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Schroeder-Heister"],"firstnames":["Peter"],"suffixes":[]}],"title":"Definitional reflection and the completion","booktitle":"Extensions of Logic Programming: 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993 Proceedings","year":"1994","editor":[{"propositions":[],"lastnames":["Dyckhoff"],"firstnames":["Roy"],"suffixes":[]}],"pages":"333–347","address":"Berlin, Heidelberg","publisher":"Springer Berlin Heidelberg","_bla_doi":"10.1007/3-540-58025-5_65","_bla_isbn":"978-3-540-48417-2","_bla_url":"https://doi.org/10.1007/3-540-58025-5_65","bibtex":"@InProceedings{Schroeder-Heister1994,\n\t\t author = {Schroeder-Heister, Peter},\n\t\t title = {Definitional reflection and the completion},\n\t\t\t booktitle = {Extensions of Logic Programming: 4th International Workshop, ELP '93 St Andrews, U.K., March 29--April 1, 1993 Proceedings},\n\t\t\t year = {1994},\n\t\t\t\t editor = {Dyckhoff, Roy},\n\t\t\t\t pages = {333--347},\n\t\t\t\t\t address = {Berlin, Heidelberg},\n\t\t\t\t\t publisher = {Springer Berlin Heidelberg},\n\t\t\t\t\t\t_bla_doi = {10.1007/3-540-58025-5_65},\n\t\t\t\t\t\t_bla_isbn = {978-3-540-48417-2},\n\t\t\t\t\t\t _bla_url = {https://doi.org/10.1007/3-540-58025-5_65},\n}\n\n","author_short":["Schroeder-Heister, P."],"editor_short":["Dyckhoff, R."],"key":"Schroeder-Heister1994","id":"Schroeder-Heister1994","bibbaseid":"schroederheister-definitionalreflectionandthecompletion-1994","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://cs.stanford.edu/~yoniz/test.bib","creationDate":"2019-07-02T21:19:47.827Z","downloads":0,"keywords":[],"search_terms":["definitional","reflection","completion","schroeder-heister"],"title":"Definitional reflection and the completion","year":1994,"dataSources":["ChWnbF8EqSa8nccMs"]}