Complete subgraphs of bipartite graphs and applications to trace languages G. Guaiana; A. Restivo; S. Salemi — 1990 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications