The top documents tagged [andres meseguer lozano]