Per anno

@inproceedings{distributedcommit-srds1982,
    apice = {DistributedcommitSrds1982},
    author = {Dolev, Danny and Strong, H. Raymond},
    booktitle = {IEEE Symposium on Reliability in Distributed Software and Database Systems (SRDS 1982)},
    month = jul,
    pages = {53--60},
    publisher = {IEEE Computer Society},
    title = {Distributed Commit With Bounded Waiting},
    year = 1982
}

@article{unification-toplas4,
    abstract = {The unification problem in first-order predicate calculus is described in general terms as the solution of a system of equations, and a nondeterministic algorithm is given. A new unification algorithm, characterized by having the acyclicity test efficiently embedded into it, is derived from the nondeterministic one, and a PASCAL implementation is given. A comparison with other well-known unification algorithms shows that the algorithm described here performs well in all cases.},
    acm = {357169},
    apice = {UnificationToplas4},
    author = {Alberto Martelli and Ugo Montanari},
    doi = {10.1145/357162.357169},
    issn = {0164-0925},
    journal = {ACM Transactions on Programming Languages and Systems},
    month = {April},
    number = 2,
    numpages = 25,
    openalex = {W2113722134},
    pages = {258--282},
    publisher = {ACM},
    title = {An Efficient Unification Algorithm},
    url = {https://dl.acm.org/doi/10.1145/357162.357169},
    volume = 4,
    year = 1982
}

@inproceedings{mml-icdcs1982,
    apice = {MmlIcdcs1982},
    author = {Maurelio Boari and Stefano Crespi-Reghizzi and Alberto Dasprá and Natali, Antonio},
    booktitle = {International Conference on Distributed Computing Systems (ICDCS 1982)},
    numpages = 9,
    pages = {680--688},
    title = {MML: A programming line for multiple-microprocessors systems},
    year = 1982
}