Formal ReSpecT

@inproceedings{respect-agp00,
   apice = {RespectAgp2000},
   author = {Omicini, Andrea and Denti, Enrico},
   booktitle = {Proceedings of the GULP-PRODE Joint Conference on Declarative Programming (AGP'00) – La Habana, Cuba, December 4-7, 2000},
   location = {La Habana, Cuba},
   numpages = 16,
   openalex = {W2801437440},
   title = {Formal {{\sf ReSpecT}}},
   year = 2000
}