A First Order Temporal Logic for Behavior Representation | Publicación