1. Synthesis of list algorithms by mechanical proving. (July 2015) Authors: Drămnesc, Isabela; Jebelean, Tudor Journal: Journal of symbolic computation Issue: Volume 69(2015) Page Start: 61 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗