AUTHOR:			Heba
AUTHOR:			Bart
AUTHOR:			Dimitri
AUTHOR:			Eugenia
AUTHOR:			JanVDB
TITLE:			Executable First-Order Queries in the Logic of Information Flows
JOURNAL:		Logical Methods in Computer Science
PAGES		
DATE			
CATEGORY:		Foundations
TYPE:           Journal
LINK-WWW 
LINK-PPT
LINK-YTB
JOURNALSTATS:	LMCS
NOTE:			Accepted for publication