On Deciding Functional Lists with Sublist Sets

by Thomas Wies , Marco Muñiz , Viktor Kuncak
Citations:1 - 0 self