%0 Journal Article %1 journals/logcom/Marti-OlietM96 %A Martí-Oliet, Narciso %A Meseguer, José %D 1996 %J J. Log. Comput. %K dblp %N 3 %P 409-438 %T Inclusions and Subtypes I: First-Order Case. %U http://dblp.uni-trier.de/db/journals/logcom/logcom6.html#Marti-OlietM96 %V 6

@article{journals/logcom/Marti-OlietM96, added-at = {2023-09-21T00:00:00.000+0200}, author = {Martí-Oliet, Narciso and Meseguer, José}, biburl = {https://www.bibsonomy.org/bibtex/2c492505a58379cb4a0403f0af5b6aed3/dblp}, ee = {https://doi.org/10.1093/logcom/6.3.409}, interhash = {9a4796d2efd275569dfa1951f62acb35}, intrahash = {c492505a58379cb4a0403f0af5b6aed3}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 3, pages = {409-438}, timestamp = {2024-04-09T05:12:36.000+0200}, title = {Inclusions and Subtypes I: First-Order Case.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom6.html#Marti-OlietM96}, volume = 6, year = 1996 }