Strong Completeness of the Closed Fragment of GLP. - Juan P. Aguilera 001; Grigorii Stepanov (AiML, 2024)