The top documents tagged [polyadic calculusruggeri]