Keisuke Nakano, Konstantinos Sagonas Functional and Logic Programming - Springer Springer 2020 ISBN: 9783030590253 Source: EBOOK