1. Appleby , S. , Bergami , G. , and Morgan , G . 2023. Enhancing declarative temporal model mining in relational databases: A preliminary study . In Proceedings of the International Database Engineered Applications Symposium Conference, IDEAS 2023 , Heraklion, Crete, Greece, May 5--7 , 2023 , R. Chbeir, M. Ivanovic, Y. Manolopoulos, and P. Z. Revesz, Eds. ACM, 34--42. Appleby, S., Bergami, G., and Morgan, G. 2023. Enhancing declarative temporal model mining in relational databases: A preliminary study. In Proceedings of the International Database Engineered Applications Symposium Conference, IDEAS 2023, Heraklion, Crete, Greece, May 5--7, 2023, R. Chbeir, M. Ivanovic, Y. Manolopoulos, and P. Z. Revesz, Eds. ACM, 34--42.
2. Matita tutorial;Asperti A.;J. Formaliz. Reason.,2014
3. A compact kernel for the calculus of inductive constructions;Asperti A.;Sadhana,2009
4. Baader , F. , Calvanese , D. , McGuinness , D. L. , Nardi , D. , and Patel-Schneider , P. F. 2010. The Description Logic Handbook: Theory, Implementation and Applications , 2 nd ed. Cambridge University press , New York, NY, USA . Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D., and Patel-Schneider, P. F. 2010. The Description Logic Handbook: Theory, Implementation and Applications, 2nd ed. Cambridge University press, New York, NY, USA.
5. Parametric schema inference for massive JSON datasets