Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
Oleg Kiselyov and Tatsuya Katsushima,Sound and Efficient Language-Integrated Query,Lecture Notes in Computer Science,0302-9743,Springer International Publishing,2017,,,364-383,https://cir.nii.ac.jp/crid/1360285705565687168,https://doi.org/10.1007/978-3-319-71237-6_18