M. Saqib Nawaz, Philippe Fournier-Viger, Ji Zhang: Proof Learning in PVS With Utility Pattern Mining. IEEE Access 8: 119806-119818 (2020)