@inproceedings{1046893,
    title = "Modular logic programming and abstract data types",
    author = "Καράλη, Ιζαμπώ and Χαλάτσης, Κωνσταντίνος",
    year = "1997",
    pages = "229-236",
    publisher = "Πανεπιστήμιο Κύπρου",
    booktitle = "Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά"
}