6 works on record
Logic Programming (vol. # 4079)
Trust Management
Trust Management : Proceedings of IFIPTM 2007
Formal Aspects of Security and Trust
Logic Based Program Synthesis and Transformation
Logic Programming
