Computational Logic

@book{computationallogicsymposium1990,
   address = {Berlin, Heidelberg},
   apice = {Computationallogicsymposium1990},
   booktitle = {Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990},
   doi = {10.1007/978-3-642-76274-1},
   editor = {John W. Lloyd},
   eisbn = {978-3-642-76274-1},
   isbn = {978-3-642-76276-5},
   openalex = {W4236589143},
   publisher = {Springer},
   series = {ESPRIT Basic Research Series},
   subtitle = {Symposium Proceedings, Brussels, November 13/14, 1990},
   title = {Computational Logic},
   url = {https://link.springer.com/10.1007/978-3-642-76274-1},
   urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-642-76274-1.pdf},
   year = 1990
}